Gleichungen ohne Affekt. (Q1829338)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Gleichungen ohne Affekt. |
scientific article |
Statements
Gleichungen ohne Affekt. (English)
0 references
1930
0 references
\textit{D. Hilbert} (1892; F. d. M. 24, 87 (JFM 24.0087.*)-88) hat zuerst mit Hilfe seines Irreduzibilitätssatzes bewiesen, daß für jeden Grad \(n\) ganzzahlige Gleichungen existieren, deren \textit{Galois}sche Gruppe die symmetrische bzw. die alternierende Permutationsgruppe ist. Für die erste Gleichungsgattung, die sogenannten affektlosen Gleichungen, sind dann wiederholt einfache Beispiele konstruiert worden, so von \textit{M. Bauer}, \textit{I. Schur}, \textit{Ph. Furtwängler} und \textit{O. Perron}. Hingegen war für ganzzahlige Gleichungen mit alternierender Permutationsgruppe als \textit{Galois}scher Gruppe bisher nur der \textit{Hilbert}sche Existenzsatz bekannt, durch den noch kein Verfahren zur Bildung einfacher Beispiele gegeben wird. Verf. beweist: Die gleich Null gesetzten \textit{Laguerre}schen Polynome \[ \frac{e^x}{n!}\frac{d^n(x^ne^{-x})}{dx^n}\equiv 1-\binom n 1 \frac{x}{1!}+ \binom n 2 \frac{x^2}{2!}- \ldots + (-1)^n \frac{x^n}{n!}=0 \] sind für jeden Grad \(n\) affektlose Gleichungen. Der \(n\)-te Abschnitt der Exponentialreihe liefert in \[ 1+ \frac x{1!} + \frac {x^2}{2!}+ \cdots + \frac{x^n}{n!}=0 \] für jedes durch 4 teilbare \(n\) eine Gleichung, deren \textit{Galois}sche Gruppe die alternierende Gruppe ist; für alle anderen \(n\) ist die Gleichung ohne Affekt. Der Beweis geschieht mit Hilfe von Sätzen aus der Idealtheorie und der Theorie der Permutationsgruppen. Von diesen sei nur das folgende Theorem angeführt: Hat man eine im Körper der rationalen Zahlen irreduzible, ganzzahlige Gleichung \[ F(x)\equiv x^n+ a_1x^{n-1} + \cdots + a_n = 0, \] deren Diskriminante die Primzahl \(p\) mindestens in der \(n\)-ten Potenz enthält, und bei der das konstante Glied \(a_n\) durch \(p\), aber nicht durch \(p^2\) teilbar ist, besteht ferner eine Kongruenz der Form \[ F(x)\equiv x^kf(x) \pmod p, \] wobei \(k >1\) und die Diskriminante des Polynoms \(f(x)\) zu \(p\) teilerfremd ist, so besitzt die \textit{Galois}sche Gruppe der Gleichung eine durch \(p\) teilbare Ordnung. Ist im besonderen \(\frac n2 < p < n - 2\), so ist die \textit{Galois}sche Gruppe der Gleichung die symmetrische oder die alternierende Gruppe. Der zweite Fall liegt vor, wenn die Diskriminante der gegebenen Gleichung eine Quadratzahl ist. Infolge der zuletzt angeführten Kongruenz, die für \(n\leqq 7\) nicht realisierbar ist, benötigen die Polynome mit Gradzahlen \(n\leqq 7\) eine besondere Behandlung.
0 references