\(\tilde A_5\) and \(\tilde A_7\) are Galois groups over number fields (Q1086617): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0021-8693(86)90213-9 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2000377259 / rank | |||
Normal rank |
Revision as of 23:01, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | \(\tilde A_5\) and \(\tilde A_7\) are Galois groups over number fields |
scientific article |
Statements
\(\tilde A_5\) and \(\tilde A_7\) are Galois groups over number fields (English)
0 references
1986
0 references
This paper deals with the problem of the realizability of \(\tilde A_n\), the double cover of the alternating group \(A_n\), as Galois group over number fields. This question can be regarded as an embedding problem whose obstruction is related to the Witt invariant of an associated quadratic trace form, by means of \textit{J.-P. Serre}'s trace formula [Comment. Math. Helv. 59, 651--676 (1984; Zbl 0565.12014)]. The author considers generalized Laguerre polynomials \(F_n(X,\lambda,\mu)\in \mathbb Q(\lambda,\mu)[X]\) (cf. [\textit{I. Schur}, Collected Works, Vol. III (1973; Zbl 0274.01054)]) and computes the principal minors of the associated trace form matrix. Then, he shows that for \(n\equiv 3\pmod 4\) the obstruction to the embedding problem in \(\tilde A_ n\) associated to the realization of \(A_n\) given by \(F_n(X,1,1)\in\mathbb Q[X]\) is trivial and, therefore, that for \(n\equiv 3\pmod 4\) \(\tilde A_n\) appears as Galois group over \(\mathbb Q\). The study of suitable Diophantine equations allows the author to prove that there exist infinitely many realizations of \(A_5\) and of \(A_7\) over \(\mathbb Q\) given by Laguerre polynomials which can be embedded in \(\tilde A_5\) and \(\tilde A_7\), respectively. Therefore, \(\tilde A_5\) and \(\tilde A_7\) appear as Galois group over every number field. Let \(K\) be a number field, a finite group \(G\) is called \(K\)-admissible if there exists a Galois extension of \(K\) with Galois group \(G\) which is a maximal subfield of a finite-dimensional division algebra with center \(K\). The author shows that if \(\sqrt{10}\not\in \widehat K(\sqrt{15})\), \(A_5\) is \(K\)-admissible, and if \(\sqrt{10}\not\in \widehat K(\sqrt{3},\sqrt{5},\sqrt{- 2})\), \(\tilde A_5\) is \(K\)-admissible, where \(\widehat K\) denotes the Galois closure of \(K\) over \(\mathbb Q\).
0 references
inverse problem of Galois theory
0 references
Galois groups
0 references
embedding problem
0 references
Witt invariant
0 references
quadratic trace form
0 references
trace formula
0 references
Laguerre polynomials
0 references
finite-dimensional division algebra
0 references