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

Let E be a totally real number field, and let \(n\geq 2\) be such that \(F=E(\sqrt{-1})\) contains \(\mu_{2^ n}\). Let S be the set of infinite and dyadic places of E. The author gives a formula for the \(2^ n\)-rank of \(K_ 2\)(\({\mathfrak O}_ E)\), which depends essentially on the 2-Sylow subgroup of the relative S-class group A(F/E) of F/E. The main application is the proof of the 2-part of the Birch-Tate conjecture for E under the following hypothesis: 2 does not split in F/E, \(| A(F/E)|\) is less than an explicit constant depending on results of \textit{K. S. Brown} [Invent. Math. 27, 229-264 (1974; Zbl 0294.20047)]. This generalizes results mentioned in the previous review.