On the theory of higher degree congruences. (Q1506992)

Ist \(f(x) \equiv x^n+A_1x^{n-1}+\dotsm+A_n=0\) (wo \(A_i\) eine ganze rationale Zahl) eine irreduzible Gleichung mit einer Wurzel \(\omega\), und ist \((1, \omega, \omega^2, \dots, \omega^{n-1}\)) das Fundamentalsystem des Zahlenkörpers \(\omega\), so gilt folgender Satz: I. Wenn \(p\) eine beliebige Primzahl ist, so läßt sich der Ausdruck \(f(x)\) (mod. \(p^{\alpha}\)), wo \(\alpha>1\), eindeutig in das Produkt zweier mit rationalen ganzen Koeffizienten versehenen irreduziblen Faktoren zerlegen, in welchen der höchste Koeffizient gleich 1 ist. Und zwar ist im Falle \(\alpha=1\), wenn also \(f(x)\equiv \prod_{i=1}^{s}f_i(x)^{c_i}\) (mod.\,\(p\)), wo \(f_i(x)\) (mod.\,\(p\)) verschiedene irreduzible Ausdrücke bezeichnet, im allgemeinen \[ f(x) \equiv \prod_{i=1}^s F_i(x) \quad (\text{mod}.\, p^{\alpha}), \] wo die irreduziblen Ausdrücke \(F_i(x)\) (mod.\,\(p^{\alpha})\) der Bedingung \[ F_i(x)\equiv f_i(x)^{c_i} \quad (\text{mod}.\,p) \] entsprechen. II. Damit die irreduzible Gleichung \[ f(x)=x^n+B_1x^{n-1}+\dotsm+B_n=0, \] in welcher die \(B_i\) rationale Zahlen bezeichnen, und welche innerhalb des Gebietes der rationalen Zahlen eine Galoissche Gleichung ist, auf jede Primzahlpotenz reduzibel sei, genügt es, daß\ in dem Zahlenkörper \(\omega\) jede rationale Primzahl mindestens durch zwei verschiedene Primideale teilbar sei. III. Der Begriff der Irreduzibilität für den Modul \(m\) ist im allgemeinen folgendermaßen zu erklären: Ein Ausdruck \[ f(x) =x^n+c_1x^{n-1}+\dotsm+c_n \quad (\text{mod}. m), \] wo die \(c_i\) rationale ganze Zahlen sind, ist reduzibel, wenn er sich in solche mit rationalen ganzen Koeffizienten versehene Faktoren zerlegen läßt, bei denen die Summe der Grade gleich \(m\) ist.