The class group of \(\mathbb{Z}_p\)-extensions over totally real number fields (Q1384454): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q4175669 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Remarks on \(\mathbb{Z}_ p\)-extensions of number fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the structure of certain Galois groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On \(\mathbb Z_{\ell}\)-extensions of algebraic number fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Class numbers of certain real abelian fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A note on the capitulation in \(\mathbb{Z}_ p\)-extensions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3943047 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Iwasawa conjecture for totally real fields / rank | |||
Normal rank |
Revision as of 11:09, 28 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The class group of \(\mathbb{Z}_p\)-extensions over totally real number fields |
scientific article |
Statements
The class group of \(\mathbb{Z}_p\)-extensions over totally real number fields (English)
0 references
24 September 1998
0 references
Let \(k\) be a totally real number field, \(p\) an odd prime, and \(k_\infty/k\) a \(\mathbb{Z}_p\)-extension. Let \(L_\infty/k_\infty\) be the maximal unramified abelian pro-\(p\)-extension, and \(M_\infty/k_\infty\) the maximal abelian pro-\(p\)-extension unramified outside \(p\). The first theorem of this paper states that if \(p\) splits completely in \(k\) and is totally ramified in \(k_\infty/k\), then the following conditions are equivalent: i) \(L_\infty \neq k_\infty\); ii) the \(p\)-class number of the \(n\)th layer \(k_n\) of \(k_\infty/k\) is nontrivial for every \(n \geq 1\); iii) \(\zeta_p(0)\) is a \(p\)-adic integer, where \(\zeta_p(s)\) is the \(p\)-adic zeta function of \(k\). Now assume in addition that Leopoldt's conjecture holds for \(k\) and \(p\), then the author's second theorem shows the equivalence of the following three assertions: i) there is nontrivial capitulation in \(k_\infty/k_1\); ii) there is nontrivial capitulation in \(k_\infty/k_n\) for some \(n \geq 0\); iii) \(M_\infty \neq L_\infty\). If, in addition, the \(p\)-class groups of the \(k_n\) are cyclic and if the \(\mathbb{Z}_p\)-rank of \(M_\infty/k_\infty\) is at least \(2\), then Greenberg's conjecture for \(k_\infty/k\) is true.
0 references
pro-\(p\)-extensions
0 references
\(p\)-class groups
0 references
capitulation
0 references
Greenberg's conjecture
0 references
\(\mathbb{Z}_p\)-extensions over totally real number fields
0 references
\(p\)-class number
0 references
\(p\)-adic zeta function
0 references