Ray Class Groups of Quadratic and Cyclotomic Fields

Jing Long Hoelscher
DOI: https://doi.org/10.48550/arXiv.0810.4740
2008-11-13
Abstract:This paper studies Galois extensions over real quadratic number fields or cyclotomic number fields ramified only at one prime. In both cases, the ray class groups are computed, and they give restrictions on the finite groups that can occur as such Galois groups. Also the explicit structure of ray class groups of regular cyclotomic number field is given.
Number Theory
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to study Galois extensions that are ramified at only one prime in a real quadratic number field or a cyclotomic number field. Specifically, the author determines which finite groups can be Galois groups of such Galois extensions by calculating the ray class groups over these number fields. ### Decomposition of the main problem: 1. **Galois extensions over real quadratic number fields**: - For a real quadratic number field \( K=\mathbb{Q}(\sqrt{d}) \), study Galois extensions \( L / K \) that are ramified at only one prime \( p \). - If the prime \( p \) remains unchanged in \( K / \mathbb{Q} \), then there exist arbitrarily large Galois extensions \( L / K \). - If the prime \( p \) splits in \( K / \mathbb{Q} \), then \( [L:K] \) must be finite and can be explicitly bounded in terms of \( K \) and the prime \( p \). 2. **Calculation of the projective class group**: - Calculate the projective class groups of real quadratic number fields and cyclotomic number fields and give the structure of the projective class groups. - By calculating the order of the projective class groups, determine which finite groups can be Galois groups. 3. **Projective class groups over cyclotomic number fields**: - Study the structure of the \( p \)-part projective class group \( Cl_m^p \) of the cyclotomic number field \( K = \mathbb{Q}(\zeta_p) \), where \( m=(1 - \zeta_p)^k \). - Give the specific structure of the projective class group for a regular prime \( p \). ### Key theorems and conclusions: - **Theorem 1.1**: For a real quadratic number field \( K=\mathbb{Q}(\sqrt{d}) \), if the prime \( p \) completely splits into \( p_1p_2 \) and \( p \) does not divide the large class number of \( K \), then the Galois group of any pro - \( p \) extension \( L / K \) that is ramified only at \( p_1 \) is a finite cyclic group. - **Theorem 1.3**: For a real quadratic number field \( K=\mathbb{Q}(\sqrt{d}) \) that preserves the prime \( p \), describe the structure of the projective class field \( R_k \), especially when \( p = 2 \). - **Theorem 1.4**: For a regular prime \( p>2 \), give the specific structure of the projective class group of the cyclotomic number field \( K=\mathbb{Q}(\zeta_p) \). Through these studies, the author not only provides a theoretical framework for projective class groups but also provides important tools and methods for understanding specific types of Galois extensions.