The structure of the 2-Sylow subgroup of \(K_ 2({\mathfrak o})\). II (Q1102325)

[For part I see Comment. Math. Helv. 61, 376-388 (1986; Zbl 0601.12017).] Let E be a totally real number field with ring of integers \({\mathfrak o}\). The author gives, essentially, a non-trivial exact sequence of finite groups concerning the Iwasawa theory aspects of \(K_ 2\) at \(p=2:\) \[ 0\quad \to \quad (\mu_ 2\otimes U^+_{\infty})^{\Gamma}\quad \to \quad K_ 2({\mathfrak o})(2)\quad \to \quad ({\mathcal T}\otimes_{{\mathbb{Z}}_ 2}A^-_{\infty})^{\Gamma}\quad \to \quad H^ 1(\Gamma,\mu_ 2\otimes U^+_{\infty})\quad \to \quad 0, \] where \({\mathcal T}\) is the Tate module, \(U^+_{\infty}\) the unit group of the maximal real subfield \(F^+_{\infty}=E(\mu_{2^{\infty}})^+\), \(A^- _{\infty}\) the relative 2-class group of \(F_ n=E(\mu_{2^ n})\), and \(\Gamma =Gal(F_{\infty}/F_ 2)\). For \(p\neq 2\), the corresponding result: \(K_ 2({\mathfrak o})(p)\simeq ({\mathcal T}\otimes_{{\mathbb{Z}}_ p}A^-_{\infty})^{\Gamma}\), is a theorem of \textit{J. Coates} [Ann. Math., II. Ser. 95, 99-116 (1972; Zbl 0245.12005)]. Here the author uses a Galois descent: \(K_ 2({\mathfrak o})(2)\simeq (K_ 2({\mathfrak o}^+_ n)(2))^{G_ n}\) for the tame kernel of \(F^+_ n\) \((G_ n=Gal(F^+_ n/E))\), and previous results of himself [see part I, cited above].