The second cohomology groups of the group of units of a \({\mathbb{Z}}_ p\)- extension (Q793780): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 02:14, 5 March 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