A Cohomological Property of Regular p-Groups.
For a finite group G let 𝒦₂(G) denote the set of normal number fields (within ℂ) with Galois group G which are 2-ramified, that is, unramified outside {2,∞}. We describe the 2-groups G for which 𝒦₂(G) ≠ ∅, and determine the fields in 𝒦₂(G) for certain distinguished 2-groups G appearing (dihedral, semidihedral, modular and semimodular groups). Our approach is based on Fröhlich's theory of central field extensions, and makes use of ring class field constructions (complex multiplication).
In any normal number field having Q₈, the quaternion group of order 8, as Galois group over the rationals, at least two finite primes must ramify. The classical example by Dedekind of such a field is extraordinary in that it is totally real and only the primes 2 and 3 are ramified. In this note we describe in detail all Q₈-fields over the rationals where only two (finite) primes are ramified. We also show that, for any integer n>3 and any prime , there exist unique real and complex normal number...
Page 1