Ring class fields and a result of Hasse
Abstract
For squarefree , let denote the ring class field for the order in . Hasse proved that divides the class number of if and only if there exists a cubic extension of such that and have the same discriminant. Define the real cube roots and , where is the fundamental unit in . We prove that can be taken as if and only if . As byproducts of the proof, we give explicit congruences for and which hold if and only if , and we also show that the norm of the relative discriminant of lies in or according as or . We then prove that is always in the ring class field for the order in . Some of the results above are extended for subsets of properly containing the fundamental units .
Keywords
Cite
@article{arxiv.2403.04986,
title = {Ring class fields and a result of Hasse},
author = {R. Evans and F. Lemmermeyer and Z. -H. Sun and M. van Veen},
journal= {arXiv preprint arXiv:2403.04986},
year = {2024}
}
Comments
26 pages; added author Sun and Theorem 6.2 and Section 8