On complex numbers. (Q5914901)

In einem 1875 erschienenen Werke, unter dem Titel ``Theorie der ganzen complexen Zahlen mit Anwendung auf die Integralrechnung'' (siehe JFM 06.0117.02) veröffentlichte der Verfasser seine Untersuchungen aus der Theorie der complexen Zahlen, die sich auf eine irreductibele Gleichung \(F(x)=0\) beziehen; dabei wurde die Definition der idealen Factoren einer gewöhnlichen Primzahl \(p\) auf die Zerlegung von \(F(x)\) in nach dem mod. \(p\) irreductible Factoren gesützt. Nimmt man an, diese Zerlegung sei \[ F(x)=V^mV_1^{m_1}\ldots V_{m_s}^{m_s}+pF_1(x), \] so können zwei Fälle eintreten; im ersten ist \(F_1(x)\) durch keines der \(V_{m_k}\) dessen Exponent \(m_k>1\) nach dem mod. \(p\) theilbar; im zweiten ist dieses nicht für alle Primzahlen \(p\) der Fall, sondern es existirt eine endliche Anzahl solcher singulären Primzahlen \(p\), für welche \(F_1(x)\) durch \(V_{m_k} (m_k>1)\) nach dem mod. \(p\) theilbar ist. In der citirten Abhandlung beschränkte sich der Verfasser auf den ersten Fall; in der vorliegenden Notiz beweis es einem Fundamentalsatz für den zweiten Fall; die Entwickelung der Folgerungen, welche die Theorie der idealen Factoren in ihrer ganzen Allgemeinheit umfassen, wird vorbehalten. Um diesen Satz auszusprechen, erweitert zuerst der Verfasser das Gebiet der ganzen complexen Zahlen, indem er von der Form \[ \frac{c_0+c_1x+c_2x^2+\cdots+c_{n-1}x^{n-1}}{Q}, \] (wo \(c_0, c_1\ldots c_{n-1}, Q\) ganze Zahlen sind), welche einer Gleichung \[ \zeta^l+\varphi_1\zeta^{l-1}+\cdots+\varphi_{l-1}=0 \] mit ganzzahligen Coefficienten genügen, als ganze complexe Zahlen betrachtet; die Existenz solcher Zahlen, in denen alle \(c_i\) durch \(Q\) theilklbar sind, ist für den zweiten Fall, wo singuläre Primzahlen \(p\) von der oben erklärten Beschaffenheit vorhanden sind, charakteristisch. Zwei ganze complexe Zahlen \(\alpha, \beta\) heissen nach dem mod. \(p\) congruent, wenn \(\frac{\alpha-\beta}{p}\) wiederum eine ganze complexe Zahl ist. Nun lautet der bewiesene Fundamentalsatz folgendermassen: ``Unter den mit \(\alpha\) nach dem mod. \(p\) congruenten complexen Zahlen, giebt es immer solche Zahlen \(\beta\), welche Gleichungen von der Form \[ \beta^n+g_1\beta^{n-1}+\cdots+g_{n-1}\beta+g_n=0 \] genügen, wobei \[ g_n=p^hh_n,\quad g_{n-1}= p^{h-1}h_{n-1},\ldots \text{und}\;h, h_n, h_{n-1}\;\text{etc}. \] ganze Zahlen sind, von denen die erste \(h>0\) und \(h_n\) nicht durch \(p\) theilbar ist.''