The second cohomology groups of the group of units of a \({\mathbb{Z}}_ p\)- extension (Q793780)

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.