\(K\)-admissibility of \(A_ 6\) and \(A_ 7\) (Q1183305): Difference between revisions

A finite group \(G\) is said to be \(K\)-admissible for a field \(K\), if there exists a finite dimensional central division algebra \(D\) over \(K\) containing a Galois extension \(L\) of \(K\) with \(\hbox{Gal}(L/K)\cong G\) as a maximal subfield of \(D\). The main theorem of this paper states that the following five conditions are equivalent for an algebraic number field \(K\): (1) \(A_ 6\) is \(K\)-admissible; (2) \(A_ 7\) is \(K\)-admissible; (3) \(Q_ 8\) is realizable over \(K_ v\) (as a Galois group) for at least two primes \(v\) of \(K\); (4) \(D_ 8\) is realizable over \(K_ v\) for at least two primes \(v\) of \(K\); (5) 2 has at least two prime divisors in \(K\) or \(\sqrt{-1}\not\in K\). Here \(A_ n\) (\(n=6,7\)), \(Q_ 8\) and \(D_ 8\) are respectively the alternating group of degree \(n\), the quaternion group of order 8 and the dihedral group of order 8, and \(K_ v\) denotes the completion of \(K\) at \(v\).