Journal of Number Theory ( IF 0.7 ) Pub Date : 2021-06-01 , DOI: 10.1016/j.jnt.2021.04.019 Georges Gras
Let be the Nth layer in the cyclotomic -extension. Many authors (Aoki, Fukuda, Horie, Ichimura, Inatomi, Komatsu, Miller, Morisawa, Nakajima, Okazaki, Washington, …) prove results on the p-class groups . We enlarge “Weber's problem” to the Tate–Shafarevich groups (-class group) and having same p-rank as the more easily computable torsion group, , of the Galois group of the maximal abelian p-ramified pro-p-extension of K; but is often non-trivial, which raises questions for class groups since , where is the normalized p-adic regulator. We give a new method testing (Theorem 4.6, Table in Appendix A.7) and characterize the fields with (Main Theorem 1.1 affirming, for short, that if and only if p totally splits in K and ); this highlights the analytical results and justifies the eight known examples. All PARI/GP programs are given for further investigations.
中文翻译:
圈分中的 Tate-Shafarevich 群 -扩展和韦伯的班级编号问题
让 是圈层中的第N层-扩大。许多作者(青木、福田、堀江、市村、稻美、小松、米勒、森泽、中岛、冈崎、华盛顿 ……)证明了p级组的结果. 我们将“韦伯问题”扩大到泰特-沙法列维奇集团 (-类组)和 与更容易计算的扭转组具有相同的p等级,,伽罗瓦组的极大交换的p -ramified亲p的-extension ķ ; 但 通常是不平凡的,这给班级小组提出了问题,因为
, 在哪里 是归一化p- adic 调节器。我们给出了一种新的方法测试 (定理 4.6,附录 A.7 中的表)并表征字段 和 (主定理 1.1 简言之,肯定 当且仅当p在K 中完全分裂并且); 这突出了分析结果并证明了八个已知示例的合理性。所有 PARI/GP 计划都用于进一步调查。