Relativquadratische Zahlkörper, deren Klassenzahl durch eine vorgegebene ungerade Primzahl teilbar ist (Q2652256)

Es sei \(p\) eine ungerade Primzahl und \(k\) ein algebraischer Zahlkörper von endlichem Grade, der die \(p\)-te Einheitswurzel \(\zeta\) enthält und in welchem wenigstens ein \(p\) teilendes Primideal \(\mathfrak p\) von \(k\) den absoluten Grad 1 hat. Alsdann sei \(\gamma\) eine ganze Zahl aus \(k\), die zu \(2p\) teilerfremd und quadratischer Rest mod \(\mathfrak p\) ist: \(\gamma\equiv c^2\not\equiv 0\pmod{\mathfrak p}\), wo \(c\) ganzrational ist. Somit sei \(K = k(u)\), wobei \(u\) eine Wurzel der Gleichung \[ u^2 - (\lambda^{2p} \gamma + 2) u + 1 = 0,\quad \lambda = 1 - \zeta, \] ist. Nun sei \(z_1\) eine Wurzel der Gleichung \(z^{2p} - (\lambda^{2p} \gamma + 2) z^p + 1 = 0\). Dann wird bewiesen, daß \(K(z_1)\) ein Unterkörper des absoluten Klassenkörpers von \(K\) ist, der in bezug auf \(K\) den Relativgrad \(p\) hat. Folglich ist die Klassenzahl von \(K\) durch \(p\) teilbar. Somit läßt sich zeigen, daß es unendlich viele in bezug auf \(k\) relativquadratische Zahlkörper gibt, deren Klassenzahlen durch \(p\) teilbar sind.