2. A modern point of view:The Galois group of the 1st Hilbert 3class fieldof the 3genus field of a cyclic cubic fieldIn 2002, Aïssa Derhem [2] in Casablanca, Maroc, was the first to observe that Nebelung's results [1] concerning 2stage metabelian 3groups can be applied equally well to the following questions that arise for the absolute 3genus field K* = (KQ)* of a cyclic cubic number field K, whose conductor f has exactly 2 prime divisors, whence K* is a bicyclic bicubic field:1. to determine the absolute Galois group G(K*_{1}Q) of the 1^{st} Hilbert 3class field K*_{1} of K* over Q, 2. to find the structure of the 3class group Syl_{3}C(K*) of K*.
This application is due to genus field theory, since K* is the maximal abelian 3extension of Q that is unramified over K and thus the subgroup U = G(K*_{1}K*) of G = G(K*_{1}Q) with factor group G/U = G(K*Q) = (3,3) must be the minimal subgroup of G with abelian factor group, i. e., must coincide with the commutator subgroup G' of G. Further, G is a 2stage metabelian 3group, since G' = G(K*_{1}K*) = Syl_{3}C(K*) is abelian, i.e., G'' = 1. Top recent applications of the present theory have been developed in the following article: 

The Galois group of the 1st Hilbert 3class field of the 3genus field of a cyclic cubic field  

< Navigation Center < 
< Back to Algebra < 