Reflection theorems and the \(p\)-Sylow subgroup of \(K_{2}O_F\) for a number field \(F\) (Q2267430)

Let \(p\) be an odd prime. The author proves a quite general reflection theorem for \(p\)-ranks of class groups of number fields, which specializes in the case that \(p=3\) and the groundfield is \(\mathbb Q\) to the classical reflection theorem of Scholz. He applies this reflection theorem to obtain estimates for the \(p\)-ranks of tame kernels \(K_2O_F\) of number fields \(F\) in terms of \(p\)-ranks of class groups of related number fields, and gives explicit calculations in many particular cases. In particular, specializing these results to the case \(p=3\), he obtains another proof of the conjecture contained in the Diplomarbeit of H. Gangl: Let \(d\) be a negative square-free integer and let \(F= \mathbb Q(\sqrt{d})\). Then (i) if \(d\not\equiv 6\pmod 9\), and 3 divides \(|K_2O_F|\) then 3 divides the class number of \(F\) and (ii) if \(d\equiv 6\pmod 9\) and 9 divides \(|K_2 O_F|\) then 3 divides the class number of \(F\). (Part (i) of the conjecture has been proved previously by J. Browkin, and part (ii) by the author and X. Guo.)