The Densities for 3-Ranks of Tame Kernels of Cyclic Cubic Number Fields

XiaoYun Cheng,XueJun Guo,HouRong Qin
DOI: https://doi.org/10.1007/s11425-013-4622-0
2013-01-01
Science China Mathematics
Abstract:Let F be a cubic cyclic field with t (⩾ 2) ramified primes. For a finite abelian group G , let r 3 ( G ) be the 3-rank of G . If 3 does not ramify in F , then it is proved that t −1 ⩽ r 3 ( K 2 O F ) ⩽ 2 t . Furthermore, if t is fixed, for any s satisfying t −1 ⩽ s ⩽ 2 t −1, there is always a cubic cyclic field F with exactly t ramified primes such that r 3 ( K 2 O F ) = s . It is also proved that the densities for 3-ranks of tame kernels of cyclic cubic number fields satisfy a Cohen-Lenstra type formula d_∞ ,r = 3^ - r^2 ∏_k = 1^∞( 1 - 3^ - k)/ . -∏_k = 1^r ( 1 - 3^ - k)^2 . This suggests that the Cohen-Lenstra conjecture for ideal class groups can be extended to the tame kernels of cyclic cubic number fields.
What problem does this paper attempt to address?