Centennial 2004



Descending Central Series of

2-Stage Metabelian 3-Groups


3. Most recent point of view:

The Galois group of the 1st Hilbert 3-class field

of the relative 3-genus field of a sextic S3 field

In 2003 again, Aïssa Derhem [2] in Casablanca, Maroc, was the first to observe that Nebelung's results [1] concerning 2-stage metabelian 3-groups can be applied equally well to the following questions that arise for the relative 3-genus field K* = (K|k0)* of a sextic S3 field K, whose conductor f over its quadratic subfield k0 has exactly 2 prime divisors, whence K* is a bicyclic bicubic relative extension of k0:

1. to determine the relative Galois group G(K*1|k0) of the 1st Hilbert 3-class field K*1 of K* over k0,
2. to find the structure of the 3-class group Syl3C(K*) of K*.

K*1
|
K*
|
k0
G(K*1|K*1) = 1
|
G' = G(K*1|K*) = Syl3C(K*)
----
|
G/G' = G(K*|k0) = (3,3)
G = G(K*1|k0)
----


This application is due to genus field theory, since K* is the maximal abelian 3-extension of k0 that is unramified over K and thus the subgroup U = G(K*1|K*) of G = G(K*1|k0) with factor group G/U = G(K*|k0) = (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 2-stage metabelian 3-group, since G' = G(K*1|K*) = Syl3C(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 3-class field of the relative 3-genus field of a sextic S3 field
References:

[1] Brigitte Nebelung,
Klassifikation metabelscher 3-Gruppen
mit Faktorkommutatorgruppe vom Typ (3,3)
und Anwendung auf das Kapitulationsproblem
,
Inauguraldissertation, Köln, 1989

[2] Aïssa Derhem,
Retour sur la thèse de Moulay Chrif Ismaïli,
Casablanca, 2003

[3] Daniel C. Mayer,
Class Numbers and Principal Factorization Types of Multiplets
of Pure Cubic Fields Q( R1/3 ) with R < 106
,
Univ. Graz, Computer Centre, 2003

<| Navigation Center <|
<| Back to Algebra <|