The 3-adic regulators and wild kernels (Q2370224): Difference between revisions

The authors prove a result conjectured by \textit{H. Gangl} in his Diplomarbeit (Bonn, 1989): Suppose that \(d= 3k+ 1> 0\) is squarefree let \(F=\mathbb Q(\sqrt{-3d})\). If 9 divides \(|K_2({\mathcal O}_f)|\), then 3 divides the class number of \(F\). The structure of the proof is as follows: If the 3-rank of \(K_2({\mathcal O}_F)\) is greater than 1, the result follows from a theorem of \textit{J. Browkin} [J. Reine Angew. Math. 432, 135--149 (1992; Zbl 0754.11037)]. Otherwise, the 9-rank and 3-rank of \(K_2({\mathcal O}_F)\) are both 1 and it easily follows that the 3-rank of \(WK_2(F)\) is 1. By a result \textit{S. Pauli} and \textit{F. Soriano-Gafiuk} [The discrete logarithm in logarithmic \(\ell\)-class groups and its applications in \(K\)-theory. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 3076, 367--378 (2004; Zbl 1125.11354)] this implies that the 3-rank of \(\widetilde{C\ell}_k\) is 1, where \(K= \mathbb Q(\sqrt{d})\) and \(\widetilde{C\ell}\) is the (3-adic) logarithmic class group of J.-F. Jaulent. The authors use some computations of \textit{Y. Kishi} [J. Number Theory 83, No. 1, 1--49 (2000; Zbl 0967.11048)] to deduce that 3 divides the class number of \(K\). Finally, the classical reflection theorem of \textit{A. Scholz} [J. Reine Angew. Math. 166, 201--203 (1932; Zbl 0004.05104, JFM 58.0181.05)] implies that 3 divides the class number of \(F\).