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

From MaRDI portal
Revision as of 21:22, 6 August 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
In more languages
Configure
Language Label Description Also known as
English
Zur Klassenzahl in reinen Zahlkörpern von ungeradem Primzahlgrade
scientific article

    Statements

    Zur Klassenzahl in reinen Zahlkörpern von ungeradem Primzahlgrade (English)
    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.
    class number
    number fields of odd prime degree

    Identifiers