Zur Klassenzahl in reinen Zahlkörpern von ungeradem Primzahlgrade (Q2648427)

Sei \(l\) eine Primzahl \(\ne 2\), \(m\) eine ganze rationale Zahl \(\underset {l} {\ne} 1\), \(R\) der rationale Zahlkörper. Die Klassenzahl von \(R\left(\sqrt[l]{m}\right)\) ist durch \(l\) teilbar, wenn \(m\) folgende Bedingungen erfüllt: \(m^{l-1}\equiv 1 \bmod l^2\) und: zu \(m\) gibt es eine ganzrationale Zahl \(m' = a^l + l^l b^l\) \((a\) und \(b\) ganzrational, \(l\nmid a)\) derart, daß die \(l\)-Kerne von \(m\) und \(m'\) dieselben Primteiler haben, und daß mit \(m_1 = a + lb\) gilt: \(\frac{m'}{m_1}\underset{l} {\ne} 1\). Die Klassengruppe von \(R\left(\sqrt[l]{m}\right)\) hat mindestens \(z\) durch \(l\) teilbare Invarianten, wenn \((m\) als frei von \(l\)-Potenzen vorausgesetzt) entweder unter den verschiedenen Primteilern \(p_i\) von \(m\) \(\tfrac12(l-1)+z\) Primzahlenmit \(p_i\equiv 1 \bmod l\) vorhanden sind oder wenn alle \(p_i\), abgesehen ev. von \(l\), primitive Wurzeln \(\bmod l\) sind, und \(i\) von \(1\) bis \(\tfrac12(l-1)+z\) im Falle \(m^{l-1}\not\equiv 1 \bmod l^2\) bzw. von \(1\) bis \(\tfrac12(l+1)+z\) im Falle \(m^{l-1}\equiv 1 \bmod l^2\) läuft. Ein Hilfssatz von allgemeinerer Bedeutung: Wenn im \(l\)-ten Kreiskörper \(k_l\), eine Hauptidealgruppe existiert, welche \[ N_{k_l\left(\sqrt[l]{m}\right)/k_l} ((A)) \cdot S_f \] [\((A) = \) Gruppe der Hauptideale von \(k_l\left(\sqrt[l]{m}\right)\), \(S_f = \) Strahl nach dem Führer \(f\) der Idealgruppe für \(k_l\left(\sqrt[l]{m}\right) / k_l\)], dagegen nicht alle Ideale \(\ne 0\) aus \(R\) enthält, dann ist die Klassenzahl von \(R\left(\sqrt[l]{m}\right)\) durch \(l\) teilbar.