Zur Theorie der relativ-Abelschen Zahlkörper. II. (Q1472964)

``In dieser Fortsetzung meiner unter demselben Titel erschienenen Note (nicht bei der Schriftleitung eingegangen) behandle ich die dort angedeutete Frage nach der Existenz allgemeiner Klassenkörper; sie ist, wie sich herausstellt, im bejahenden Sinn zu beantworten. Es gilt nämlich deer Satz: In einem beliebigen Zahlkörper \(k\) sei der Idealklassenverteilung die Zahlengruppe \(o\) derjenigen Zahlen \(a\) zugrunde gelegt, welche die Kongruenzbedingung \(a\equiv 1 (\mathfrak m)\) erfüllen. Die Gruppe der sämtlichen Idealklassen in \(k\) sei mit \(G\) bezeichnet, und es sei \(H\) eine beliebige Untergruppe von \(G\) vom Index \(n\). Es existiert alsdann ein relativ-Abelscher Oberkörper \(K\) von \(k\) vom Relativgrade \(n\), welcher in dem Sinne der Klassengruppe \(H\) zugeordnet ist, daß die Relativnorm jedes zu \(\mathfrak m\) primen Ideals in \(K\) in einer Klasse von \(H\) hineinfällt; die Relativgruppe dieses Oberkörpers \(K\) ist isomorph mit der komplementären Gruppe \(G/H\), und die Relativdiskriminante von \(K\) enthält keine Primideale, die nicht in dem Modul \(\mathfrak m\) der Klassenverteilung enthalten ist. Dasselbe gilt auch noch, wenn die Zahlen \(a\) und \(o\) der weiteren Bedingung unterworfen sind, total positiv zu sein, falls die mit \(k\) konjugierten Körper nicht sämtlich imaginär sind. -- In der gegenwärtigen Mitteilung beschränke ich mich auf die kurze Andeutung des Beweisganges; auch verzichte ich auf eine allgemeinere, naheliegende Folgerungen umfassende Formulierung des vorliegenden Satzes.''