Triviality in ideal class groups of Iwasawa-theoretical abelian number fields (Q2569283): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
(3 intermediate revisions by 2 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Charles J. Parry / rank | |||
Property / reviewed by | |||
Property / reviewed by: Charles J. Parry / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.2969/jmsj/1158241937 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2025107438 / rank | |||
Normal rank |
Latest revision as of 20:38, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Triviality in ideal class groups of Iwasawa-theoretical abelian number fields |
scientific article |
Statements
Triviality in ideal class groups of Iwasawa-theoretical abelian number fields (English)
0 references
18 October 2005
0 references
Let \(\mathbb Q\) and \(\mathbb C\) denote the fields of rational and complex numbers, respectively. For a positive integer \(m\), let \(\zeta_m\) denote a primitive \(m^{\text{th}}\) root of unity in \(\mathbb C\). Also, let \(P\) denote the set of prime numbers. An algebraic extension \(k\), not necessarily finite, of \(\mathbb Q\) that is contained in \(\mathbb C\) will be called a number field. Let \(C_k\) denote the ideal class group of \(k\) and for each \(\ell\in P\), we let \(C_k(\ell)\) denote the \(\ell\)-class group of \(k\). A number field is called abelian if it is an abelian extension of \(\mathbb Q\). Let \(S\) be a finite nonempty subset of \(P\). For each \(p\in P\) let \(\mathbb Z_p\) denote the ring of \(p\)-adic integers and let \(\widetilde p=p\) or 4 according as \(p\) is odd or even. Let \(\mathbb Q^S\) denote the abelian number field such that the Galois group, \(\text{Gal}(\mathbb Q^S/\mathbb Q)\) is isomorphic, as a profinite group, to the direct product \(\prod_{p\in S}\mathbb Z_p\). Let \(F\) be an anabelian number field which is a finite extension of \(\mathbb Q^S\). The main result is: Theorem 1. Let \(m_0\) be a positive integer divisible by \(\widetilde p\) for every \(p\in S\). Then there exist only finitely prime numbers \(\ell\) such that \(C_F(l)\) is non-trivial and that \(\mathbb Q (\zeta_{m_0})\) contains the decomposition field of \(\ell\) for the abelian extension \(\mathbb Q^S(\zeta_{m_0})/\mathbb Q\). As usual let \(\pi(x)\) denote the number of primes less than or equal \(x\) for a real number \(x\). Let \(P_F(x)\) denote the set of primes \(\ell\) for which \(C_F(l)\) is trivial. Then as the author conjectured in [J. Lond. Math. Soc., II. Ser. 66, 257--275 (2002; Zbl 1012.11072)], \[ \lim_{x\to\infty}\frac{| P_F(x)|} {\pi(x)}=1. \]
0 references
ideal class group
0 references
abelian number fields
0 references