Über eine Klassenformation im Bereich der unendlichen algebraischen Zahlkörper (Q2524856)

Sei \(M\) der über dem Körper \(\mathbb Q\) der rationalen Zahlen maximal auflösbare Körper, d. h. der größte Normaloberkörper von \(\mathbb Q\) mit auflösbarer Galoisgruppe. Dann bezeichnet der Verf. diejenigen Unterkörper von \(M\) als ,,Zerlegungskörper unter \(M\)'', die eine in \(M\) unzerlegte diskrete Bewertung mit endlichem Restklassenkörper besitzen. In der vorliegenden Note betrachtet der Verf. anstelle der \(p\)-adischen Zahlkörper diese Zerlegungskörper unter \(M\), und zeigt, daß über den Zerlegungskörpern unter \(M\) in ähnlicher Weise eine Klassenkörpertheorie gilt wie über den \(p\)-adischen Zahlkörpern. Nämlich, sei \(K_0\) ein fest zugrunde gelegter Zerlegungskörper unter \(M\), \(\hat K_0\) die Vervollständigung von \(K_0\), hinsichtlich der ausgezeichneten Bewertung von \(K_0\). Jedem endlichen Oberkörper \(K\subseteq M\) von \(K_0\) ordnen wir durch Vervollständigung den Körper \(\hat K = K\cdot \hat K_0\) zu. Für jede endliche normale Erweiterung \(L/K\) von in \(M\) enthaltenen endlichen Oberkörpern \(L\), \(K\) von \(K_0\) erhalten wir den bijektiven Invariantenhomomorphismus \[ H^2(G,L^*) \overset{i}\rightarrow H^2(G,L^*)\overset{\text{inv}}\rightarrow \frac{1}{[L:K]}\mathbb Z/\mathbb Z. \] Dann. zeigt der Verf. den Satz 1: Ist \(\hat G = G(M/K_0)\) die Galoisgruppe von \(M/K_0\), so ist die Formation \((\hat G, M^*, \text{inv})\) eine Klassenformation. Satz 2: Ist \((\;, L/K)\) bzw. \((\;, \hat L/\hat K)\) das Normenrestsymbol der Erweiterung \(L/K\) \((K_0\subseteq K\subseteq L\subseteq M)\) bzw. der zugehörigen Erweiterung \(\hat L/\hat K\) über \(\hat K_0\), so ist \((a,L/K) = (a,\hat L/\hat K)\) für \(a\in L^*\). Satz 3: Es ist \(N_{L/K}L^*=K^*\cap N_{\hat L/\hat K}\hat L^*\), und \(N_{\hat L/\hat K}\) ist die Abschließung von \(N_{L/K}L^*\) in \(\hat K^*\). Satz 4 (Existenzsatz): Die Normengruppen des Körpers \(K\) sind gerade die in \(K^*\) (hinsichtlich der ausgezeichneten Bewertung) abgeschlossenen Untergruppen von endlichem Index.