Sur une propriété du discriminant des fonctions entières. (Q1500972)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Sur une propriété du discriminant des fonctions entières. |
scientific article |
Statements
Sur une propriété du discriminant des fonctions entières. (English)
0 references
1905
0 references
Sei \(F(x)=x^n+a_1 x^{n-1}+ \cdots+a_n\) eine ganze Funktion mit ganzzahligen Koeffizienten und nicht verschwindender Diskriminante \(D\), ferner \(p\) eine nicht in \(D\) aufgehende Primzahl, und es sei \(F(x)\) in irreduzible Faktoren mod.\,\(p\) zerlegt: \(\varphi_1(x), \dots, \varphi_\nu(x)\). ``Dann besteht hinsichtlich der Anzahl \(\nu\) dieser Faktoren die Relation \(\left(\begin{smallmatrix} D \\ p \end{smallmatrix}\right) =(-1)^{n-\nu}\).'' Es genüge, den Beweis für \(\nu=1\), wo \(F\) selbst irreduzibel ist, genauer zu skizzieren. \(\varrho\) sei eine Wurzel von \(F(x)=0\). Die ganzen Zahlen \(\varrho_0=\varrho\), \(\varrho_1=\varrho^p, \dots, \varrho^{n- 1}=\varrho^{p^{n-1}}\) des Körpers \([\varrho]\) sind in ihm die verschiedenen Wurzel der Kongruenz \(F(x) \equiv 0\)\,(mod.\,\(p\)). \(\sigma\) sei eine ganze und symmetrische, dem Körper \([\varrho]\) angehörige Funktion der \(\varrho_0, \varrho_1, \dots, \varrho_{n-1}\). Ersetzt man hierin \(\varrho_i\) durch die Wurzeln von \(F(x)=0\), so wird \(\sigma(\varrho_0, \varrho_1, \dots, \varrho_{n-1})\) eine gewisse ganze Zahl \(\sigma\), und es gilt die Kongruenz \(\sigma(\varrho_0, \varrho_1, \dots, \varrho_{n-1}) \equiv \sigma\)\,(mod.\,\(p\)). Man wähle jetzt als Funktion \(\sigma\) das Quadrat des Differenzenproduktes \(\varPi (\varrho_i-\varrho_k)^2 (i<k)\), so entsteht die Kongruenz \(\varPi (\varrho_i-\varrho_k)^2 \equiv D\)\,(mod.\,\(p\)). Andererseits ist das Differenzenprodukt \(\varPi (\varrho_i-\varrho_k)\) selbst eine ganze, von \(\varrho\) abhängende Zahl \(\omega(\varrho)\) des Körpers \([\varrho]\). Erhebt man auf die \(p\)-te Potenz, so entsteht \([\omega(\varrho)]^p= \varPi (\varrho_i^p-\varrho_k^p)\), und hieraus wiederum die Kongruenz \[ [\omega(\varrho)]^p \equiv (-1)^{n-1} \varPi (\varrho_i- \varrho_k)({\text{mod.}}\,p) \equiv (-1)^{n-1}({\text{mod.}}\,p). \] Endlich ist \(D^{\frac{p-1}2}=[\omega(\varrho)]^{p-1}\), somit \(D^{\frac{p-1}2}=(-1)^{n-1}\), und damit \(\left(\begin{smallmatrix} D\\ p \end{smallmatrix}\right) =(-1)^{n-1}\). Für \(\nu>1\) setze man \(F^{(0)} (x) \varphi_1(x) \cdot \varphi_2(x) \dots \varphi_\nu(x)\). Ist dann \(D^{(0)}\) die Diskriminante von \(F^{(0)}(x)\), sind ferner \(d_1, d_2, \dots, d_\nu\) die Diskriminanten der \(\varphi_1(x), \varphi_2(x), \dots, \varphi_\nu(x)\), so zerlegt sich \(D^{(0)}\) in das Produkt der \(d_i\), abgesehen vom Quadrate einer ganzen Zahl \(k\), und es wird demnach \(\left(\begin{smallmatrix} D\\ p \end{smallmatrix}\right)= \left(\begin{smallmatrix} d_1 \\ p \end{smallmatrix}\right) \left(\begin{smallmatrix} d_2 \\ p \end{smallmatrix}\right) \dots \left(\begin{smallmatrix} d_\nu \\ p \end{smallmatrix}\right)\). Ist \(m_i\) der Grad von \(\varphi_i(x)\), so gilt \(\left(\begin{smallmatrix} d_i \\ p \end{smallmatrix}\right)=(-1)^{m_i-1}\), und hieraus folgt ohne weiteres \(\left(\begin{smallmatrix} D \\ p \end{smallmatrix}\right) = (-1) ^{n-\nu}\). Am Schlusse teilt der Verf. mit, daß\ sein Hauptergebnis nach einer Bemerkung von \textit{Hensel} bereits 1897 von \textit{Stickelberger} dem internationalen Kongreß\ in Zürich vorgelegt worden ist (F. d. M. \textit{29}, 172, 1898, JFM 29.0172.03).
0 references