Über die Verschärfung des Hauptidealsatzes für algebraische Zahlkörper. (Q563612)

Für den Fall, daß die Zweierklassengruppe eines algebraischen Zahlkörpers nur Klassen der Ordnung \(2^1\) enthält, läßt sich die Basis der Klassengruppe so wählen, daß jede Basisklasse bereits in einem relativquadratischen Teilklassenkörper in die Hauptklasse übergeht. Mit Hilfe der Artinschen Methode (1929; JFM 55.0699.01) gelingt es, den Satz gruppentheoretisch zu beweisen und zwar auf den bestimmten Fall zurückzuführen, daß in der zweiten Klassengruppe (zu der der Klassenkörper des Klassenkörpers gehört) die \(\binom{n}{2}\) Kommutatoren der \(n\) Basisklassen unabhängig und invariante Elemente sind; wesentlich ist dabei, daß für diesen zweistufigen Gruppentypus die \(n\) Basisklassen so gewählt werden können, daß jede in einem quadratischen Teilklassenkörper als einzige in die Hauptklasse übergeht.