Explicit construction of extensions of \(\mathbb{Q}{} (t)\) of Galois group \(\tilde A_ n\) for \(n\) odd (Q1185951)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Explicit construction of extensions of \(\mathbb{Q}{} (t)\) of Galois group \(\tilde A_ n\) for \(n\) odd
scientific article

    Statements

    Explicit construction of extensions of \(\mathbb{Q}{} (t)\) of Galois group \(\tilde A_ n\) for \(n\) odd (English)
    0 references
    0 references
    28 June 1992
    0 references
    Let \(K\) be a field of characteristic 0, and \(L\) a certain regular Galois extension of \(K(t)\) with Galois group \(A_ n\) constructed by \textit{J. F. Mestre} [J. Algebra 131, 483-495 (1990; Zbl 0714.11074)] for which \textit{J. P. Serre}'s obstruction [Comment. Math. Helv. 59, 651-676 (1984; Zbl 0565.12014)] to embedding \(L\) into an \(\tilde A_ n\)-extension over \(K(t)\) vanishes. \((A_ n\): the alternating group of degree \(n\), \(\tilde A_ n\): the unique non-trivial central extension of \(A_ n\) by \(\{\pm 1\})\). In this paper, for odd \(n\geq 5\), a special element \(\gamma\in L\) is constructed explicitly so that the quadratic extensions \(L(\sqrt{r\gamma})\) for \(r\in K(t)^ \times\) (resp. for \(r\in K^ \times)\) give all the extensions (resp. geometrically unramified extensions) \(E\) of \(L\) with \(Gal(E/K(t))\cong\tilde A_ n\). (The existence of such a \(\gamma\) had been assured group-theoretically by J.- P. Serre.) In a part of the proof, a result of \textit{T. Crespo} [J. Algebra 127, 452-461 (1989; Zbl 0704.11043)] is applied.
    0 references
    0 references
    Witt invariant of \(Tr(x^ 2)\)
    0 references
    double covering group of \(A_ n\)
    0 references
    Galois group
    0 references
    alternating group of degree \(n\)
    0 references
    extensions
    0 references