The second cohomology groups of the group of units of a \({\mathbb{Z}}_ p\)- extension (Q793780): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.2748/tmj/1178228904 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2052757593 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Iwasawa Invariants of Totally Real Number Fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A note on the group of units of an algebraic number field / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Γ-extensions of algebraic number fields / 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: On Cohomology Groups of Units for Z p -Extensions / rank | |||
Normal rank |
Latest revision as of 12:53, 14 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The second cohomology groups of the group of units of a \({\mathbb{Z}}_ p\)- extension |
scientific article |
Statements
The second cohomology groups of the group of units of a \({\mathbb{Z}}_ p\)- extension (English)
0 references
1984
0 references
The author proves that \(H^ 2(\Gamma,E_{\infty})\cong({\mathbb{Q}}_ p/{\mathbb{Z}}_ p)^{s_ 0-r_ p-1}.\) Here p is a prime number, \(\Gamma =Gal(K_{\infty}/K_ 0), E_{\infty}\) denotes the unit group of \(K_{\infty}\), \(s_ 0=\#S_ 0\) and \(r_ p\) equals the essential rank of \(D_{\infty}\). \(K_{\infty}\) is a \({\mathbb{Z}}_ p\)-extension of an arbitrary algebraic number field \(K_ 0\). Let \(K_ n\) be the cyclic subextension of \(K_{\infty}\) of degree \(p^ n\) over \(K_ 0\) and \(S_ n\) the set of primes of \(K_ n\) ramified in \(K_{\infty}\). Let \(D_ n\) be the p-Sylow subgroup of the class group of \(K_ n\) generated by all prime ideals in \(S_ n\) and their conjugates over \(K_ 0\). Then \(D_{\infty}\) is the inductive limit of \(D_ n\) by means of the natural map. \textit{K. Iwasawa} [RIMS Kôkyûroku 440, 76-84 (1981; Zbl 0539.12002)] posed the problem of studying these cohomology groups, and he has independently obtained similar resuls [Am. J. Math. 105, 189-200 (1983; Zbl 0525.12009)] to those given here.
0 references
second cohomology group
0 references
unit group
0 references
essential rank
0 references
\({\mathbb{Z}}_ p\)- extension
0 references