The class-number of the field of complex multiplication (Q1495059)

Die Klassenanzahl \(h\) eines algebraischen Körpers ist gegeben durch den Grenzwert \[ h.\kappa=\lim_{s=1}(s-1)\zeta(s). \] Die Berechnung des Grenzwertes ist bis jetzt nur im Falle der Kreiskörper und deren Unterkörper durchgeführt worden. Die vorliegende Arbeit führt die Berechnung für alle Körper, die und die komplexe Multiplikation, also die Modulfunktionen für imaginäre quadratische Zahlwerte ergeben. Dazu braucht der Verf. die von ihm gefundenen zahlentheoretischen Eigenschaften dieser Körper (vgl. F. d. M. 36, 281, 1905, JFM 36.0281.02 und vorstehendes Referat (JFM 38.0255.02)), insbesondere ihrer Diskriminanten; zweitens aber auch die \textit{Kronecker}sche Grenzformel, wie sie etwa \textit{Weber} in seinem Werke: Elliptische Funktionen und algebraische Zahlen (F. d. M. 23, 455, 1891, JFM 23.0455.01) gibt. Durch geeignete Definition eines Symboles \([\mathfrak a]\) als Einheitswurzel gelingt dann die Berechnung. Das Resultat lautet \[ K.H=h\cdot\kappa F\;\frac{(2\pi)^{h_{f}-1}}{(wf)^{h_{f}-1}|\sqrt{-1}|^{h_{f}-1}}\;\prod_{(\zeta)}\sum_{1}^{h_{f}}i[{\mathfrak a}_{i}](\varphi(f)\text{lg\,}n({\mathfrak a}_{i})-2\text{lg\,}H(\omega_{i})H(\omega_{i}')). \] Dabei ist \(f\) der Führer des Ringes, zu dem die Gleichung gehört; \(h\), \(\kappa\), \(d\), \(h_{f}\) sind die im gegebenen quadratischen Ring auftretenden Größen. Das Produkt ist über alle Einheitswurzeln \([{\mathfrak a}_{i}]\) zu nehmen; die Summe über das Repräsentantensystem \({\mathfrak a}_{i}\) von Klassen des quadratischen Ringes. \(H(\omega)\) ist eine aus der bekannten Funktion \(\eta(\omega)\) sich zusammensetzende Funktion. Nimmt man speziell die Klassenanzahl \(h\) gleich einer Primzahl \(p\) und \(f=1\), so lautet die Gleichung: \[ H=\frac{w_{k}}{w_{k}}\;p\cdot\frac{\varDelta}{R}\,, \] wo \(R\) der Regulator des Körpers und \(\varDelta\) die Determinante ist: \[ \varDelta(-1)^{\frac{p-1}{2}}\left|\begin{matrix} \lg\varepsilon_{1} & \lg\varepsilon_{2} & \dots & \lg\varepsilon_{p-1} \\ \lg\varepsilon_{2} & \lg\varepsilon_{3} & \dots & \lg\varepsilon_{1} \\ \hdotsfor3 \\ \lg\varepsilon_{p-1} & \lg\varepsilon_{1} & \dots & \lg\varepsilon_{p-2} \end{matrix} \right|; \quad \varepsilon=\sqrt{a}\;\frac{\eta\left (\frac{b+\sqrt{m}}{a^{\mu}}\right )\eta \left (\frac{-b+\sqrt{m}}{a^{\mu}}\right )}{\eta\left (\frac{b+\sqrt{m}}{a^{\mu+1}}\right )\eta\left (\frac{-b+\sqrt{m}}{a^{\mu}}\right )}\,. \]