A new proof of a theorem of Eisenstein. (Q1525168)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A new proof of a theorem of Eisenstein. |
scientific article |
Statements
A new proof of a theorem of Eisenstein. (English)
0 references
1894
0 references
Es handelt sich um den von Eisenstein ohne Beweis veröffentlichten, später von Heine und Hrn. Hermite bewiesenen Satz: ``Eine Potenzreihe mit rationalen Coefficienten \[ y = \sum_{n=0}^{n=\infty} c_nx^n = \mathfrak P(x) \] kann nur dann einer algebraischen Gleichung, deren Coefficienten ganze Zahlen sind, genügen, wenn eine ganze Zahl \(a\) existirt, für welche die Coefficienten von \(ax\mathfrak P(ax)\) ganze Zahlen sind.'' Wenn \(y=\mathfrak P(x)\) einer algebraischen Gleichung mit ganzzahligen Coefficienten \(f(x,y)=0\) genügt, so müssen \(f(x,\mathfrak P(x))\) und die sämtlichen Differentialquotienten \(f^{(\nu)}(x,\mathfrak P(x))\) identisch zu Null werden. Bildet man also den \(n^{\text{ten}}\) Differentialquotienten von \(f(x,y)\) nach \(x\), führt dann \(y=\mathfrak P(x)\) ein und setzt schliesslich \(x=0\), so erhält man eine Relation zwischen den Coefficienten \(c\). Aus dieser folgt nicht nur der obige Satz, sondern auch der Wert der Zahl \(a\). Als Beispiele wählt der Verfasser die beiden Gleichungen \[ y^n - (1+x)^{\pm r} = 0\text{ und }y^2 - (1-xa+a^2)^{-1} = 0, \] aus denen folgt, dass \(\left(\frac{\pm r}a\right)_sn^{2s-1}\) und die Coefficienten von \(x\) in \(2^{n-1}P^{(n)}(x)\) ganze Zahlen sind, wobei der \(s^{\text{te}}\) Binomialcoefficient von \(\frac{\pm r}n\) und \(P^{(n)}(x)\) die Kugelfunction \(n^{\text{ter}}\) Ordnung ist.
0 references
Power series expansions of solutions of polynomial equations with integral coefficients
0 references