On the structure of even -groups of rings of algebraic integers
arXiv:2210.00168 · doi:10.4064/aa221029-25-7
Abstract
In this paper, we describe the higher even -groups of the ring of integers of a number field in terms of class groups of an appropriate extension of the number field in question. This is a natural extension of the previous collective works of Browkin, Keune and Kolster, where they considered the case of . We then revisit the Kummer's criterion of totally real fields as generalized by Greenberg and Kida. In particular, we give an algebraic -theoretical formulation of this criterion which we will prove using the algebraic -theoretical results developed here.
Some minor changes