2025-11-12T18:37:10.266987

Octic Hilbert 2-class fields of real quadratic fields with discriminant 8p

Lemmermeyer
In this article we explain how to construct cyclic octic unramfied extensions of the real quadratic number field $k = {\mathbb Q}(\sqrt{2p}\,)$, where $p \equiv 1 \bmod 8$ is a prime number such that $h_2(k) \equiv 0 \bmod 8$. The construction only requires solving the diophantine equation $eu^2 = t^2 + 2ps^2$ in integers.
academic

Oktische Hilbert-2-Klassenkörper von reellen quadratischen Zahlkörpern mit Diskriminante 8p

Grundinformationen

  • Paper-ID: 2510.10295
  • Titel: Octic Hilbert 2-class fields of real quadratic fields with discriminant 8p
  • Autor: Franz Lemmermeyer
  • Klassifikation: math.NT (Zahlentheorie)
  • Veröffentlichungsdatum: 11. Oktober 2025 (arXiv-Einreichung)
  • Paper-Link: https://arxiv.org/abs/2510.10295

Zusammenfassung

Diese Arbeit erläutert die Konstruktion zyklischer, unverzweigter oktischer Erweiterungen des reellen quadratischen Zahlkörpers k=Q(2p)k = \mathbb{Q}(\sqrt{2p}), wobei p≡1(mod8)p \equiv 1 \pmod{8} eine Primzahl ist und h2(k)≡0(mod8)h_2(k) \equiv 0 \pmod{8} erfüllt. Die Konstruktion wird durch geeignete Modifikation der in Referenz 2 beschriebenen Konstruktion für Q(−p)\mathbb{Q}(\sqrt{-p}) erreicht und erfordert lediglich die Lösung der diophantischen Gleichung eu2=t2+2ps2eu^2 = t^2 + 2ps^2 über den ganzen Zahlen.

Forschungshintergrund und Motivation

Problemhintergrund

  1. Hilbert-Klassenkörpertheorie: Diese Forschung gehört zum Bereich der Klassenkörpertheorie in der algebraischen Zahlentheorie und befasst sich insbesondere mit der Konstruktion von Hilbert-Klassenkörpern reeller quadratischer Zahlkörper
  2. Klassengruppen-Struktur quadratischer Zahlkörper: Für reelle quadratische Zahlkörper der Form Q(2p)\mathbb{Q}(\sqrt{2p}) ist die Struktur der 2-Klassengruppe eng mit den Eigenschaften der Primzahl pp verbunden
  3. Existenz unverzweigter Erweiterungen: Die Existenz zyklischer oktischer unverzweigter Erweiterungen hängt mit der 2-Potenz-Teilbarkeit der Klassenzahl zusammen

Forschungsmotivation

  1. Theoretische Vollständigkeit: Ergänzung und Verbesserung der Konstruktionstheorie von Hilbert-Klassenkörpern reeller quadratischer Zahlkörper
  2. Rechenmethoden: Bereitstellung einer expliziten Konstruktionsmethode basierend auf der Lösung diophantischer Gleichungen
  3. Verallgemeinerung bestehender Ergebnisse: Verallgemeinerung der Arbeiten des Autors zu imaginären quadratischen Zahlkörpern auf den reellen Fall

Kernproblem

Konstruktion zyklischer oktischer unverzweigter Erweiterungen des reellen quadratischen Zahlkörpers k=Q(2p)k = \mathbb{Q}(\sqrt{2p}), die spezifische Bedingungen erfüllen, wobei die Schlüsselbedingungen p≡1(mod8)p \equiv 1 \pmod{8} und die Teilbarkeit der strikten Klassenzahl h+h^+ durch 8 sind.

Kernbeiträge

  1. Explizite Konstruktionsmethode: Bereitstellung einer expliziten Methode zur Konstruktion zyklischer oktischer unverzweigter Erweiterungen von Q(2p)\mathbb{Q}(\sqrt{2p})
  2. Lösung diophantischer Gleichungen: Reduktion des Konstruktionsproblems auf die Lösung der diophantischen Gleichung eu2=t2+2ps2eu^2 = t^2 + 2ps^2
  3. Existenzkriterien: Präzise Charakterisierung der Bedingungen für die Existenz oktischer Erweiterungen
  4. Rechnerische Beispiele: Bereitstellung zahlreicher konkreter numerischer Berechnungsbeispiele und Verifikationen
  5. Theoretische Verallgemeinerung: Erfolgreiche Verallgemeinerung der relevanten Theorie imaginärer quadratischer Zahlkörper auf den reellen Fall

Methodische Details

Aufgabendefinition

Gegeben eine Primzahl p≡1(mod8)p \equiv 1 \pmod{8}, konstruiere eine zyklische oktische Galois-Erweiterung L/kL/k des reellen quadratischen Zahlkörpers k=Q(2p)k = \mathbb{Q}(\sqrt{2p}), so dass diese Erweiterung an allen endlichen Primstellen unverzweigt ist.

Theoretische Grundlagen

Klassengruppen-Struktur quadratischer Zahlkörper

Für k=Q(2p)k = \mathbb{Q}(\sqrt{2p}) gilt nach der Geschlechtertheorie:

  • Wenn p≡1(mod4)p \equiv 1 \pmod{4}, dann ist der Geschlechterkörper kgen=Q(2,p)k_{gen} = \mathbb{Q}(\sqrt{2}, \sqrt{p})
  • Die 2-Klassengruppe ist zyklisch
  • Die Klassenzahl ist immer gerade

Existenz quartischer Erweiterungen

Proposition 1: Sei p≡1(mod8)p \equiv 1 \pmod{8} eine Primzahl. Dann existieren positive ganze Zahlen e,f>0e, f > 0 mit:

  • p=e2−2f2p = e^2 - 2f^2
  • e≡3(mod4)e \equiv 3 \pmod{4}, f≡2(mod4)f \equiv 2 \pmod{4}

Für α=e+f2\alpha = e + f\sqrt{2} ist die Erweiterung K=k(α)K = k(\sqrt{\alpha}) eine zyklische quartische unverzweigte Erweiterung von kk.

Teilbarkeitskriterium der Klassenzahl

Nach der Analyse im Text kann die 2-Potenz-Teilbarkeit der Klassenzahl durch folgende Bedingungen charakterisiert werden:

Klassenzahl-EigenschaftNε2pN\varepsilon_{2p}Bedingung
h≡2(mod4)h \equiv 2 \pmod{4}+1+1e<0e < 0
h≡4(mod8)h \equiv 4 \pmod{8}−1-1e>0,e≡7(mod8)e > 0, e \equiv 7 \pmod{8}
h≡4(mod8)h \equiv 4 \pmod{8}+1+1e>0,e≡3(mod8)e > 0, e \equiv 3 \pmod{8}
h≡0(mod8)h \equiv 0 \pmod{8}±1\pm 1e>0,e≡3(mod8)e > 0, e \equiv 3 \pmod{8}

Konstruktion der oktischen Erweiterung

Zentrale diophantische Gleichung

Der Schlüssel der Konstruktion ist die Lösung der Gleichung: A2−αB2=α′C2A^2 - \alpha B^2 = \alpha' C^2

Durch Setzung von:

  • A=u2A = u\sqrt{2}
  • B=r+s2B = r + s\sqrt{2}
  • C=r−s2C = r - s\sqrt{2}

kann das Problem in die Lösung von: eu2=t2+2ps2eu^2 = t^2 + 2ps^2 transformiert werden, wobei t=er+2fst = er + 2fs.

Lösungsbedingungen

Lemma 5: Wenn e>0e > 0, e≡3(mod8)e \equiv 3 \pmod{8}, f≡2(mod4)f \equiv 2 \pmod{4}, dann hat die Gleichung eu2=t2+2ps2eu^2 = t^2 + 2ps^2 Lösungen in ungeraden ganzen Zahlen.

Der Beweis erfolgt durch Verifikation der Lösbarkeit der Gleichung modulo verschiedener Zahlen:

  • Modulo reelle Zahlen: e>0e > 0 garantiert Lösbarkeit
  • Modulo 8: e≡3(mod8)e \equiv 3 \pmod{8} garantiert Lösbarkeit
  • Modulo pp: Verifikation von (ep)=+1(\frac{e}{p}) = +1 erforderlich
  • Modulo ee: Verifikation von (−2pe)=+1(\frac{-2p}{e}) = +1 erforderlich

Technische Innovationspunkte

  1. Einheitliches Konstruktionsgerüst: Vereinheitlichung der Konstruktion von quartischen und oktischen Erweiterungen unter einem gemeinsamen theoretischen Rahmen
  2. Expliziter Lösungsalgorithmus: Bereitstellung konkreter Lösungsmethoden für diophantische Gleichungen
  3. Einheitenauswahlmechanismus: Sicherung der Unverzweigtheit der Erweiterung durch Wahl geeigneter Einheiten ε=1±2\varepsilon = 1 \pm \sqrt{2}
  4. Vorzeichenbedingungen: Etablierung der Entsprechung zwischen Erweiterungseigenschaften und Vorzeichen der Darstellungsparameter

Experimentelle Einrichtung

Rechnerische Beispiele

Die Arbeit bietet zwei Hauptklassen von Rechnerbeispielen:

Datenquellen

  • Primzahlen p≡1(mod8)p \equiv 1 \pmod{8}, die entsprechende Klassenzahlbedingungen erfüllen
  • Bestimmung der Parameter durch die Darstellung p=e2−2f2p = e^2 - 2f^2
  • Gewinnung von Konstruktionsparametern durch Lösung diophantischer Gleichungen

Verifikationsmethoden

  • Berechnung der Klassengruppen-Struktur zur Verifikation theoretischer Vorhersagen
  • Überprüfung der Unverzweigtheit der Erweiterung
  • Verifikation der Zyklizität der Galois-Gruppe

Rechenwerkzeuge

Die Arbeit nutzt Standardwerkzeuge der algebraischen Zahlentheorie zur:

  • Berechnung von Klassenzahlen und Klassengruppen-Strukturen
  • Verifikation des Zerlegungsverhaltens von Primidealen
  • Überprüfung der Verzweigungseigenschaften von Erweiterungen

Experimentelle Ergebnisse

Vollständig reelle oktische Erweiterungen

Für den Fall strikter Klassenzahl h≡0(mod8)h \equiv 0 \pmod{8} gibt die Arbeit 6 konkrete Beispiele:

pphhNε2pN\varepsilon_{2p}eeff(u,t,s,r)(u,t,s,r)
1138-1112(5,7,-1,1)
12018-14318(37,193,-3,7)
121781352(19,101,-1,3)
16018-16738(7,9,1,-1)
17778-1436(47,251,3,5)
21138-19962(7,25,1,-1)

Vollständig komplexe oktische Erweiterungen

Für den Fall Klassenzahl h≡4(mod8)h \equiv 4 \pmod{8} mit Nε2p=+1N\varepsilon_{2p} = +1 gibt die Arbeit 9 Beispiele:

ppErzeugendes Element μ\muKlassengruppen-Struktur
257[112+(3−2)35+222](1−2)[11\sqrt{2} + (3-\sqrt{2})\sqrt{35+22\sqrt{2}}](1-\sqrt{2})[6]→[3][6] \to [3]
337[52+(1−2)27+142](1−2)[5\sqrt{2} + (1-\sqrt{2})\sqrt{27+14\sqrt{2}}](1-\sqrt{2})[2]→[17,17][2] \to [17,17]
353[72+(1−2)19+22](1−2)[7\sqrt{2} + (1-\sqrt{2})\sqrt{19+2\sqrt{2}}](1-\sqrt{2})[2]→[17,17][2] \to [17,17]

Hauptergebnisse

  1. Effektivität der Konstruktion: Alle theoretisch vorhergesagten Fälle können durch Lösung diophantischer Gleichungen realisiert werden
  2. Klassengruppen-Veränderung: Die Klassengruppen-Struktur nach der Erweiterung entspricht den theoretischen Erwartungen
  3. Rechenkomplexität: Für größere Primzahlen kann die Lösung der diophantischen Gleichung die Behandlung von Teilerungsproblemen erfordern

Verwandte Arbeiten

Historischer Hintergrund

  1. Klassische Klassenkörpertheorie: Von Hilbert, Weber, Takagi und anderen etablierte Grundlagen der Klassenkörpertheorie
  2. Forschung zu quadratischen Zahlkörpern: Gauss' Theorie der binären quadratischen Formen
  3. Moderne Entwicklungen: Moderne Werkzeuge wie das Scholz-Reziprozitätsgesetz

Direkt verwandte Arbeiten

  1. Frühere Arbeiten des Autors:
    • 1 Dissertation über Klassenkörper-Konstruktion
    • 2 Konstruktion von Hilbert-2-Klassenkörpern imaginärer quadratischer Zahlkörper
  2. Verwandte Theorien:
    • C4-Zerlegungstheorie
    • Anwendung der Geschlechtertheorie auf quadratische Zahlkörper

Einzigartigkeit des Beitrags dieser Arbeit

  1. Verallgemeinerung auf reelle Körper: Erste systematische Verallgemeinerung der Konstruktionsmethoden imaginärer quadratischer Zahlkörper auf den reellen Fall
  2. Rechenmethoden: Bereitstellung konkreterer und praktischerer Konstruktionsalgorithmen als allgemeine Theorie
  3. Vollständigkeit: Vollständige Charakterisierung der Existenzbedingungen

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

  1. Existenzsatz: Wenn p≡1(mod8)p \equiv 1 \pmod{8} und die strikte Klassenzahl durch 8 teilbar ist, dann existiert eine zyklische oktische unverzweigte Erweiterung von Q(2p)\mathbb{Q}(\sqrt{2p})
  2. Konstruktionsalgorithmus: Diese Erweiterung kann durch Lösung der diophantischen Gleichung eu2=t2+2ps2eu^2 = t^2 + 2ps^2 explizit konstruiert werden
  3. Unterscheidungskriterien: Die vollständige Realität oder Komplexität der Erweiterung kann durch das Vorzeichen des Parameters ee unterschieden werden

Theoretische Bedeutung

  1. Verbesserung der Klassenkörpertheorie: Wichtige Ergänzung der Hilbert-Klassenkörpertheorie reeller quadratischer Zahlkörper
  2. Rechnerische Zahlentheorie: Bereitstellung effektiver Algorithmen für verwandte Rechnerprobleme
  3. Verallgemeinerungspotential: Methoden haben Potential zur Verallgemeinerung auf allgemeinere Fälle

Einschränkungen

  1. Bedingungseinschränkungen: Methode ist nur auf Primzahlen spezifischer Kongruenzklassen anwendbar
  2. Rechenkomplexität: Für große Primzahlen kann die Lösung der diophantischen Gleichung Effizienzprobleme aufwerfen
  3. Theoretischer Umfang: Derzeit nur für 2-Klassengruppen behandelt

Zukünftige Richtungen

  1. Verallgemeinerung auf höhere Grade: Untersuchung zyklischer Erweiterungen sechzehnten oder höheren Grades
  2. Andere Diskriminanten: Betrachtung quadratischer Zahlkörper mit anderen Diskriminantenformen
  3. Rechnerische Optimierung: Verbesserung von Lösungsalgorithmen für diophantische Gleichungen
  4. Anwendungsforschung: Erkundung von Anwendungen in Kryptographie und anderen Bereichen

Tiefgreifende Bewertung

Stärken

  1. Theoretische Strenge:
    • Mathematische Argumentation ist präzise, jeder Schritt wird durch ausreichende theoretische Unterstützung gestützt
    • Kombination klassischer Geschlechtertheorie mit modernen Klassenkörpertheorie-Werkzeugen
  2. Methodische Innovation:
    • Erfolgreiche Verallgemeinerung von Methoden imaginärer quadratischer Zahlkörper auf den reellen Fall
    • Bereitstellung expliziter Konstruktionsmethoden basierend auf diophantischen Gleichungen
  3. Rechnerische Vollständigkeit:
    • Bereitstellung zahlreicher konkreter numerischer Beispiele
    • Verifikation der Korrektheit theoretischer Vorhersagen
    • Darlegung vollständiger Rechenprozesse
  4. Praktischer Wert:
    • Algorithmen sind praktisch anwendbar
    • Bereitstellung nützlicher Werkzeuge für verwandte Forschung

Schwächen

  1. Anwendungsbereich:
    • Beschränkung auf Primzahlen mit spezifischen Kongruenzbedingungen
    • Relativ strenge Anforderungen an die Klassenzahl
  2. Rechnerische Effizienz:
    • Für große Primzahlen kann die Rechenkomplexität hoch sein
    • Allgemeine Algorithmen zur Lösung diophantischer Gleichungen nicht ausreichend diskutiert
  3. Theoretische Tiefe:
    • Hauptsächlich Verallgemeinerung und Anwendung bestehender Methoden
    • Mangel an fundamentalen theoretischen Durchbrüchen

Einflussfähigkeit

  1. Wissenschaftlicher Beitrag:
    • Bereitstellung neuer Werkzeuge und Methoden für zahlentheoretische Forschung
    • Förderung der Entwicklung der Hilbert-Klassenkörpertheorie reeller quadratischer Zahlkörper
  2. Anwendungsperspektiven:
    • Praktischer Wert in rechnerischer algebraischer Zahlentheorie
    • Mögliche Anwendungen in kryptographiebezogenen Anwendungen
  3. Reproduzierbarkeit:
    • Arbeit bietet ausreichende Rechnerdetails
    • Methoden haben gute Reproduzierbarkeit

Anwendungsszenarien

  1. Theoretische Forschung: Forschung in algebraischer Zahlentheorie und Klassenkörpertheorie
  2. Rechenmathematik: Rechnerprobleme, die die Konstruktion spezifischer algebraischer Erweiterungen erfordern
  3. Angewandte Mathematik: Mögliche Anwendungen in Kodierungstheorie und Kryptographie
  4. Lehre: Verwendung als konkrete Beispiele der Klassenkörpertheorie im Unterricht

Literaturverzeichnis

Die Arbeit zitiert die wichtigsten verwandten Arbeiten des Autors:

  1. F. Lemmermeyer, Die Konstruktion von Klassenkörpern, Ph.D. Diss. Univ. Heidelberg, 1995
  2. F. Lemmermeyer, Hilbert 2-class fields and 2-descent, Publ. Math. Debr. 88 (2016), 319–343
  3. F. Lemmermeyer, Dirichlet's Lemma in number fields, arXiv:2502.00526v2

Diese Literaturquellen bilden die theoretische Grundlage und Methodenquelle dieser Forschung und zeigen die systematische Forschung des Autors in diesem Bereich.