Eine Bemerkung über die Klassenzahl der absoluten Klassenkörper. (Q2620164)

Hat die \(l\)-Klassengruppe eines algebraischen Zahlkörpers \(n\) Basisklassen und der \(l\)-Klassenkörper \(K\) von \(k\) eine zu \(l\) fremde Klassenzahl (beendet er also den \(l\)-Klassenkörperturm), so geben bereits in jedem zyklischen Teilkörper \(l\)-ten Grades von \(K/k\), wie aus der \textit{Artins}chen Verlagerung der Idealklassen folgt, \(n\) Basisklassen von \(k\) in die Hauptklasse über. Das ist wieder nur möglich, wenn \(k\) mindestens \(n - 2\) Fundamentaleinheiten besitzt (schärfer: \(l\)-unabhängige Einheiten mindestens \(n - 1\), d. h. \(n - 1\) Fundamentaleinheiten, wenn \(k\) die \(l\)-tenEinheitswurzeln nicht enthält).