On the ideal class groups of ray class fields of algebraic number fields (Q1431077)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the ideal class groups of ray class fields of algebraic number fields |
scientific article |
Statements
On the ideal class groups of ray class fields of algebraic number fields (English)
0 references
27 May 2004
0 references
Let \(C(k)\) denote the ideal class group of an algebraic number field \(k\), and let \(k_m\) denote the ray class field of \(k\) modulo \(m\), where \(m\in\mathbb Z\), \(m>1\). The author first proves the following theorem: Let \(L/k\) be an abelian extension with a subextension \(K/k\) of degree \(n\). Then \(C(L)\) has a subgroup isomorphic to \(C(K)^{nh(k)}\). Next, he constructs an infinite family of quadratic fields \(\mathbb Q(\sqrt m)\) such that \(C(\mathbb Q(\sqrt m))\) has an arbitrarily large cyclic subgroup. As an application, he obtains an infinite number of positive integers \(m\) with special properties such that \(C(k_m)\) has an arbitrarily large cyclic subgroup. Taking \(k=\mathbb Q\), he gets the result for the maximal real subfields of a family of cyclotomic fields. This generalizes earlier results of the author [Nagoya Math. J. 113, 147--151 (1989; Zbl 0696.12007)]. There are further applications of the theorem along the same lines.
0 references
ray class field
0 references
Hilbert class field
0 references
quadratic field
0 references
class group
0 references
cyclic subgroup
0 references