A Remark on K-2 of the Rings of Integers of Totally Real Number Fields

Xuejun Guo
DOI: https://doi.org/10.1080/00927870701404333
2007-01-01
Communications in Algebra
Abstract:Let F be a totally real number field with degree n = [F: Q] >= 3. Mazur and Urbanowicz proved that ifK2OF similar or equal to (Z/2Z)([F:Q]) (*)and F is not Q(zeta(7) +zeta(-1)(7)) or Q(zeta(9) + zeta(-1)(9)), then F must be one of the 14 cases listed in Mazur and Urbanowicz (1992). In this article, it is proved that 3 of these 14 cases don't satisfy (*), while all the other cases satisfy (*). Hence we find all totally real number fields which satisfy (*).
What problem does this paper attempt to address?