Die cubischen Abel'schen Gleichungen des Bereiches \((\sqrt{-31})\). (Q1547432)

(Siehe auch JFM 14.0046.03) Es seien \[ x_{h_1,h_2,\ldots,h_\nu} \text{ und } y_{k_1,k_2,\ldots, k\nu} \] \[ (h_\alpha,k_\alpha =0,1,\ldots,n_\alpha-1; \;\; \alpha=1,2,\ldots \nu) \] gegebene Grössen, und es werde gesetzt \[ Z_{h_1+k_1,\ldots h_\nu+k_\nu} = \varSigma x_{h_1,\ldots h_\nu} \cdot y_{k_1,\ldots k_nu} . \] Nimmt man die cyklischen Functionen der Grössen \(x\), sowie die der Grössen \(y\) zum Rationalitätsbereiche, so werden die \(x\), die \(y\) und die \(z\) Wurzeln Abel'scher Gleichungen, und die letzte Gleichung heisst aus den beiden ersten zusammengesetzt oder componirt. Eine einfache Abel'sche Gleichung (siehe F. d. M. IX. 1877, 57, JFM 09.0057.03) mit den Wurzeln \(x_,x_1,\ldots x_{n-1}\) lässt sich aus zwei anderen componiren, wenn \[ {\varpi}_h = \varSigma \omega^{hr} x_r \eqno (\omega^n-1=0) \] sich als Produkt zweier ähnlicher Ausdrücke darstellen lässt. Die Anwendung der Decomposition auf die Gleichungen dritten Grades ergiebt, dass die Wurzeln jeder cubischen Abel'schen Gleichung mit ganzzahligen Coefficienten sich als rationale Functionen der Wurzeln von Gleichungen \[ y^3-3py+p(r+s)=0, \;\; y^3-3y+1=0 \] darstellen lassen. Dabei sind die \(p\) Primzahlen, und die \(r, s\) sind durch die Bedingungen definirt \[ p=r^2-rs+s^2, \quad r\equiv s \;\;(\text{ mod. }3). \] Die Decomposition der cubischen Abel'schen Gleichungen des Bereiches \(\sqrt{-31}\) mit den Wurzeln \(x_1,x_2,x_3\) fordert die Zerlegung von Ausdrücken \[ (x_0+\omega^hx_1+ \omega^{2h}x_2)^3 = ({\mathfrak g} + \omega^h{\mathfrak g_1} + \omega^{2h} {\mathfrak g_2} )^2 ({\mathfrak g_0}+ \omega_{2h} {\mathfrak g_1} + \omega^h {\mathfrak g_2} ), \] in denen \(\omega\) eine primitive dritte Einheitswurzel ist, und die \(\mathfrak g\) ganze algebraische Zahlen des Bereiches \((\sqrt{-3}, \sqrt{-31})\) sind, in Factoren von derselben Form. In diesem Bereiche sind die Primzahlen \(p\) entweder als Normen ganzer algebraischer Zahlen darstellbar \((p^0)\), oder erst ihr Cubus hat diese Eigenschaft \((p')\). Alle diejenigen cubischen Gleichungen, für welche \[ (x_0+\omega x_1+\omega^2 x_2) \cdot (x_0+ \omega^2 x_1 + \omega x_2) \] nur eine Potenz von \(p'\) ist, sind in solche zu zerlegen, bei denen \[ (x_0+\omega x_1 + \omega^2 x_2)^3 = H(\xi,\omega)^2 H(\xi,\omega^2) \] und \(H\) eine ganze algebraische Zahl wird, deren Norm der Cubus von \(p'\) ist. Alsdann ergiebt sich \[ x_0+\omega x_1 +\omega^2 x_2 = \theta(\xi,\omega) \; \root3\of{E(\xi,\omega)}, \] worin auch \(\theta\) eine ganze algebraische Zahl und \(E\) eine primitive Form bedeutet. Fügt man zu \(E\) nur eine einfache Einheit hinzu \(\pm \omega^n\), so gehören alle jene Gleichungen zu derselben Gattung, wie die Abel'sche Gleichung \[ x^3-10x+\sqrt{-31} (x^2-1)=0, \] deren Wurzeln die zu \(\sqrt{-31}\) gehörigen singulären Moduln der elliptischen Functionen sind. Die Gattung algebraischer Zahlen, welche durch die Wurzeln dieser Gleichung definirt wird, ist gewissermassen arithmetisch dem Bereiche \((\sqrt{-31})\) angehörig und algebraisch demselben unmittelbar associirt.