Even icosahedral Galois representations of prime conductor (Q2493053)

The authors considered even icosahedral Galois representation of prime conductor. \textit{M.-F. Vignéras} [Glasg. Math. J. 27, 223--237 (1985; Zbl 0599.12008)] classified even irreducible two-dimensional Galois representations ramified at only one prime and gave examples of such representations in the dihedral and octahedral case. The discriminants of number fields describing even icosahedral Galois representations are far longer than \(2\times 10^7\) and cannot be found in tables of quintic number fields. The authors describe the techniques that they used to find the even icosahedral Galois representation of minimal conductor. They also give a table of the defining polynomials for all even icosahedral Galois representations of prime conductor less than 10.000. The techniques implemented are a refinement of the Hunter search taking into account a desired ramification type at a certain prime which gives congruence conditions on the defining polynomials and drastically decrease the number of quintic polynomials to be considered.