Infinite class field towers (Q2391106): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2137428300 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 0802.3461 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On computations in Kummer extensions. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On a theorem of Koch / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4101939 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Infinite class field towers of quadratic fields. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Konstruktion imaginärquadratischer Körper mit unendlichem Klassenkörperturm / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Profinite Groups, Arithmetic, and Geometry. (AM-67) / rank | |||
Normal rank |
Latest revision as of 20:28, 1 July 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