Let K be a number field, K(1) its Hilbert class field, that is, the maximal abelian unramified extension of K, let K(2) be the Hilbert class field of K(1), and let G = Gal(K(2)/K) (alternatively, for p a prime the first and second p class fields enjoy properties analogous to those of the respective class fields discussed in this introduction; the particulars may be found surrounding Lemma 2). Since G/G’ is the largest abelian quotient of G, G/G′ = Gal (K(1))/K) and so G’ is the abelian group Gal(K(2)K(1)); moreover, class field theory provides (Artin) maps φK, φK(1) which are isomorphisms of the class groups Ck, Ck(1) onto G/G′, G′ respectively. In the remarkable paper [1] E. Artin computed the composition VG′where e is the homomorphism induced on the class groups by extending ideals of K to ideals of K(1), and he gave a formula for computing VG′, the now familiar transfer (Verlagerung) homomorphism, in terms of the group G alone (see Lemma 1).
Read full abstract