Unconditional class-group certification for two totally real octic \(D_4\)-fields
This package provides a reproducible, computer-assisted, GRH-independentcertification that two explicit totally real octic fields with Galois group\\(D_4\\) have class group \\(\\mathbf Z/8\\mathbf Z\\oplus\\mathbf Z/4\\mathbf Z\\).It combines a one-sided PARI/GP class-group certificate, a \\(D_4\\)Brauer--Kuroda relation, fully certified proper subfields, explicit units, andrigorous Sturm--Arb regulator intervals.
Authors
- Kenshirou Moriwaki
Institutions
- Hokkaido Research Organization (JP)
Publication Details
- Journal
- Zenodo (CERN European Organization for Nuclear Research)
- Published
- 2026-09-16
- DOI
- https://doi.org/10.5281/zenodo.22789743
- Primary Topic
- Algebraic Geometry and Number Theory
- Type
- article
- Field-Weighted Citation Impact
- 0.00