Über Erweiterungen von unendlichen algebraischen Zahlkörpern. (Q5922852)

Verf. betrachtet die Klasse derjenigen algebraischen Zahlkörper unendlichen Grades, für die alle Primideale endlichen Restklassengrad \(f\) und endliche Verzweigungsordnung \(e\) haben. Er zeigt, daß z. B. das Kompositum aller absolut-zyklischen Körper eines festen Primzahlgrades \(q\) zu dieser Klasse gehört; für die Primidealteiler einer Primzahl \(p\) gilt hier im Falle \(q \neq 2\): \[ f|q, \quad e=\left\{ \begin{matrix} \l \;& \l \\ q&\text{für} \;p = q \;\text{oder} \;p \equiv 1 \mod q, \\ 1&\text{sonst}; \end{matrix} \right. \] und im Falle \(q = 2\): \[ f= 2, \quad e = \left\{ \begin{matrix} \l \;& \l \\ 4&\text{für} \;p=2, \\ 2&\text{sonst}. \end{matrix} \right. \] Mit \(k\) gehört auch jeder Teilkörper unendlichen Grades und jeder endlich-algebraische Erweiterungskörper \(K\) zu der betrachteten Klasse. Verf. zeigt, wie sich die allgemeine Theorie der endlich-algebraischen Erweiterungskörper \(K\) algebraischer Zahlkörper \(k\) unendlichen Grades für die von ihm betrachtete Grundkörperklasse durch eine besonders einfache Theorie ersetzen läßt, und gewinnt dabei auch eine Reihe von neuen Sätzen. Es gelten nämlich, wie er zeigt, die \textit{Ore}sche Theorie des Zusammenhangs zwischen der Primidealzerlegung und einer erzeugenden Gleichung, die \textit{Ore}schen Sätze über die Lückenzahlen der Supplementzahlen und über die Existenz von Erweiterungskörpern mit für endlich viele Primideale vorgeschriebener Primidealzerlegung und Supplementzahlen, der Satz über den maximalen Beitrag eines Primideals zur Diskriminante bei festem Grad, und es bleibt auch das Kriterium für gemeinsame außerwesentliche Diskriminantenteiler bestehen. Ohne jede Einschränkung für den Grundkörper \(k\) wird noch der Satz bewiesen, daß die Differente einer endlich-algebraischen Erweiterung \(K/k\) gleich dem größten gemeinsamen Teiler der Differenten aller ganzen Zahlen von \(K\) ist.