Generalization of Kummer's criterion for divisibility of class numbers (Q2561258)

Es sei \(p\) eine Primzahl, und \(\mathbb Q_r\), bezeichne den Körper der \(p^r\)-ten Einheitswurzeln. Betrachtet werden absolut zyklische Körper \(K/\mathbb Q\) deren Führer den endlichen Bestandteil \(f_0=p^r\) hat. \(K\) heiße dann ``\(p\)-Körper vom Grad \(r\)''. Ist \(K\) imaginär, so gilt für die Klassenzahl \(h\) von \(K\): \(h=h_0h^*\) (\(h_0\) = Klassenzahl des maximalen reellen Teilkörpers von \(K\), \(h^*\) = Relativklassenzahl). Kummers bekannte Kriterien für die \(p\)-Teilbarkeit der Klassenzahl von \(\mathbb Q_1\) werden vom Verf. in folgender Weise verallgemeinert. Satz A: \(K\) sei imaginärer \(p\)-Körper vom Grad \(r\), und \(h_1\) bezeichne die Klassenzahl von \(K_1=K\cap\mathbb Q_1\). Dann gilt: (I) \(p\mid h^*\) genau dann, wenn \(p| h_1^*\). Wenn \(p\mid h^*\), so \(p^r\mid h^*\). (II) \(p\mid h_1^*\) genau dann, wenn mindestens ein Zähler der Bernoulli-Zahlen \(B_{ck+1}\) \((k= 1, 3, \dots, 2d-1)\) durch \(p\) teilbar ist. Satz B: Mit denselben Bezeichnungen sei \(K\) reell. Dann gilt: (I) \(p\mid h\) genau dann, wenn \(p\mid h_1\). (II) Wenn \(p\mid h_1\), so ist mindestens einer der Zähler der Bernoulli-Zahlen \(B_{2ck}\) \((k=1, 2,\dots, d-1)\) durch \(p\) teilbar. Dabei sind die Konstanten \(c, d\) in folgender Weise gegeben: \[ c= (\mathbb Q_1:K_1),\quad d=i(K_1 :\mathbb Q)\;\text{falls}\;K\;\text{imaginär} \] \[ c= \frac 12 (\mathbb Q_1: K_1),\quad d= (K_1 :\mathbb Q)\;\text{falls}\;K\;\text{reell}. \] Bei Kummer \((K = \mathbb Q_1)\) folgt \(p\mid h^*\) aus \(p\mid h_0\). Dieses Kriterium läßt sich hier für \(c\neq 1\) nicht verallgemeinern, weil dann die Indexmengen \(\{ck+1;\, k= 1,3,\dots,2d-1\}\), \(\{ck+1;\, k= 1,2, \dots,d-1\}\) disjunkt sind. Die Beweise beruhen im wesentlichen auf Hasses Formel für die Relativklassenzahl \(h^*\) eines imaginären \(p\)-Körpers [\textit{H. Hasse}, Über die Klassenzahl abelscher Zahlkörper. Berlin: Akademie-Verlag (1952; Zbl 0046.26003)] und auf einigen Resultaten aus [\textit{Z. I. Borevich} and \textit{I. R. Shafarevich}, Number theory. New York etc.: Academic Press (1966; Zbl 0145.04902)].