Let K=Q(N) be the Nth layer in the cyclotomic Zˆ-extension. Many authors (Aoki, Fukuda, Horie, Ichimura, Inatomi, Komatsu, Miller, Morisawa, Nakajima, Okazaki, Washington,…) prove results on the p-class groups CK. We enlarge “Weber's problem” to the Tate–Shafarevich groups IIIK1≃CKSp[p] and IIIK2 having same p-rank as the more easily computable torsion group, TK, of the Galois group of the maximal abelian p-ramified pro-p-extension of K; but TK is often non-trivial, which raises questions for class groups since ▪, where RK is the normalized p-adic regulator. We give a new method testing TK≠1 (Theorem 4.6, Table in Appendix A.7) and characterize the fields K1=KQ(p) with CK1≠1 (Main Theorem 1.1 affirming, for short, that CK1≠1 if and only if p totally splits in K and TK≠1); this highlights the analytical results and justifies the eight known examples. All PARI/GP programs are given for further investigations.
Read full abstract