On the composition of algebraic number fields. (Q2590519)

Es seien \(k\) ein endlicher algebraischer Zahlkörper, \(K_1\), \(K_2\) beliebige endliche algebraische Erweiterungen und \(K\) ihr Kompositum. Das Primideal \(\mathfrak P\) aus \(K\) möge in den Primidealen \(\mathfrak p\), \(\mathfrak P_1\), \(\mathfrak P_2\) aus \(k\), \(K_1\), \(K_2\) sowie in der rationalen Primzahl \(p\) aufgehen. In \(K_1/k\), \(K_2/k\), \(K/k\) haben \(\mathfrak P_1\), \(\mathfrak P_2\), \(\mathfrak P\) die Gradzahlen \(g_1\), \(g_2\), \(G\) und die Ordnungszahlen \(f_1\), \(f_2\), \(F\). Nimmt man aus den Gradzahlen die eventuell darin aufgehenden Potenzen von \(p\) fort, so entstehen die Zahlen \(g_1^0\), \(g_2^0\), \(G^0\). Dann gelten die folgenden Sätze, welche frühere Resultate des Verf. [Math. Ann. 77, 357--361 (1916; JFM 46.0249.03)], von \textit{O. Ore} [Acta Math. 49, 379--396 (1926; JFM 53.0143.04)] und von \textit{M. Moriya} [J. Fac. Sci. Hokkaido Univ. 4, 182--194 (1936; JFM 62.1151.03) umfassen: \(G\) ist gemeinsames Vielfaches von \(g_1\) und \(g_2\), aber höchstens so groß wie \(\frac{g_1g_2}{(g_1^0,g_2^0)}\). \(F\) ist gemeinsames Vielfaches von \(f_1\) und \(f_2\), und \(FG\) ist höchstens so groß wie \(\frac{g_1g_2f_1f_2}{(f_1,f_2)}\), genauer ein Teiler dieser Zahl, wenn \(K_1/k\) und \(K_2/k\) Galoissche Körper sind. In diesem Fall ist \(G\) ein Teiler von \(g_1g_2\) und \(G^0\) kleinstes gemeinsames Vielfaches von \(g_1^0\) und \(g_2^0\). Eine ungarische Version mit deutschen Auszügen erschien in der zweitgenannten Quelle.