Über die Relativklassenzahl eines relativ-Galoisschen Zahlkörpers von Primzahlpotenzgrad (Q2524855)

Unter der \(p\)-Klassengruppe eines endlichen algebraischen Zahlkörpers \(k\) versteht man die Gruppe der Divisorenklassen von \(p\)-Potenzordnung aus der Divisorenklassengruppe (im weiteren Sinn) von \(k\), wo \(p\) eine beliebige Primzahl bezeichnet. Die Ordnung der \(p\)-Klassengruppe von \(k\) wird mit \(h_{k,p}\) bezeichnet. Es sei \(K/k\) ein Galoisscher Erweiterungskörper vom Relativgrade \(m\) und es sei \(p\) eine nicht in \(m\) aufgehende Primzahl. Ferner seien \(q_1, q_2, \dots q_r\) alle verschiedenen in \(m\) aufgehenden Primzahlen und sei \(f\) die Minimalzahl von allen \(f_i\); \(i = 1, 2,\dots, r\), die die Ordnung der Restklasse \(p \bmod q_i\) bedeuten. Dann betrachtet der Verf. in dieser Arbeit die Struktur der Idealklassengruppe \(C_K\) als Galoismodul und gewinnt die folgenden Resultate: (1) Ist \(h_{K,p}/h_{k,p}\) durch \(p\) teilbar, so gilt für die Ränge \(\rho_1\), \(\rho_2\) der \(p\)-Klassengruppen von \(K\) bzw. \(k\) die Ungleichung \(\rho_2+f \leq \rho_1\). (2) Ist der Relativgrad \(m\) eine Primzahlpotenz \(l^n\), so ist \(h_{K,p}\) teilbar durch \(h_{k,p}\) und ferner gilt \(h_{K,p}/h_{k,p} \equiv 1\pmod l\). (3) \(K/k\) sei ein relativ-zyklischer Zahlkörper von Primzahlpotenzgrad derart, daß es wenigstens ein zwischen \(K\) und \(k\) verzweigtes, und zwar reinverzweigtes Primideal von \(k\) gibt. Ferner sei \(E\) ein in \(K\) enthaltener relativ-zyklischer Körper von Relativgrade \(l^{n-1}\) über \(k\). Wenn die Anzahl der Divisorenklassen des Hauptgeschlechtes von \(K/E\) durch \(l\) teilbar ist, dann gilt für den Rang \(f\) bzw. den Exponent \(e\) der Ordnung \(l^e\) der \(l\)-Klassengruppe von \(K\) die Ungleichung \(\beta(n)\leq \rho\) bzw. \(\beta(n) + 1\leq e\), wo \(\beta(n)\) gleich \(\tfrac12 (-1 + \sqrt{1 + 8n})\) ist.