Infinite class field towers (Q2391106): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Changed an Item |
||
Property / arXiv ID | |||
Property / arXiv ID: 0802.3461 / rank | |||
Normal rank |
Revision as of 06:13, 19 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Infinite class field towers |
scientific article |
Statements
Infinite class field towers (English)
0 references
24 July 2009
0 references
In this article, the author attempts to prove the existence of number fields which are ramified at exactly one finite prime, and which have an infinite class field tower. Equation (2.3), however, is false in general: it is not true that the quotient of the ray class number and the absolute class number, \(h\{\mathfrak m\}/h\), is multiplicative, and the error in the proof is the application of the Chinese Remainder Theorem to the quotient group of units modulo principal units \(\equiv 1 \bmod {\mathfrak m}\). Equation (2.3) is used to prove the following statement: let \(K = \mathbb Q(\zeta_{p^m})\) be the field of \(p^m\)-th roots of unity, and let \(H/K\) be a cyclic unramified extension of prime degree \(h\). Then there is a Kummer extension \(L/H\) of prime degree \(p\) ramified at exactly one finite prime above \(p\) whose \(p\)-class group has rank \(\geq h-1\). This statement sounds unlikely, although it will be difficult to find a counterexample because the degrees of the fields involved are large and since unit groups are involved. In particular, the existence of number fields ramified only at one prime \(p\) (for \(p = 2\), \(3\), and \(5\)) with infinite \(p\)-class field tower is still open.
0 references
unit group
0 references
ideal class group
0 references
class field tower
0 references
ray class group
0 references