Realization over \(\mathbb{Q}\) of the groups \(\tilde A_5\) and \(\hat A_5\) (Q5942987)

The author constructs eight polynomials over \(\mathbb{Z}\) of degree 24 with splitting field isomorphic to a nonsplit central extension of \(A_5\) by the cyclic group of order 2 (resp. of order 4). These examples illustrate a general algorithm that determines an element \(\gamma\) such that \(\mathbb Q (\sqrt{\gamma})\) is a solution for the corresponding embedding problem. For some of the examples, the author uses Serre's conjecture on modular forms to accelerate the algorithm. This construction is different from \textit{T. Crespo} in [J. Algebra 127, 452-461 (1989; Zbl 0704.11043) and C. R. Acad. Sci., Paris, Sér. I 315, 625-628 (1992; Zbl 0778.12005)]. In the last section the author shows how one can use the computation of the element \(\gamma\) to determine the coefficients of the corresponding Artin \(L\)-functions attached to the irreducible 2-dimensional complex representations.