On the transformation of algebraic fields of rank one. (Q1502980)

Die Abhandlung behandelt die Transformationstheorie der elliptischen Funktionen vom algebraischen Standpunkt aus. Wenn man zu einem Körper algebraischer Funktionen einen Oberkörper konstruiert, indem man eine neue algebraische Größe adjungiert, so erhält man im allgemeinen einen Körper höheren Ranges, und nur dann kann der Oberkörper den gleichen Rang erhalten, wenn der ursprüngliche den Rang Null oder Eins hat. Aus diesem schon von H. Weber (J. für Math. 76, 345) aufgestellten Satze ergibt sich die Aufgabe, zu einem Körper \(K\) des Ranges Eins einen Oberkörper \(K_1\) desselben Ranges zu konstruieren; es muß dann \(K_1\) in bezug auf \(K\) unverzweigt sein. Es wird nun die Gruppe der dem Körper \(K_1\) definierenden Gleichung untersucht sowohl in dem Falle, daß der Körper \(K\), als auch in dem Falle, daß der Körper der rationalen Funktionen den Rationalitätsbereich bildet. Im ersten Falle ist die Gleichung eine Abelsche Gleichung \(n\)-ten Grades und die zu adjungierende Größe ist eine Wurzelfunktion \(n\)-ten Grades, d. h. eine Größe, die zwar nicht selbst, aber deren \(n\)-te Potenz dem Unterkörper \(K\) angehört. Im zweiten Falle ist die definierende Gleichung vom Grade \(2n\), und ihre Gruppe ist imprimitiv; faßt man ihre Wurzeln in geeigneter Weise zu Paaren zusammen, so genügt eine symmetrische Funktion \(\xi\) der beiden in einem Paare vereinigten Größen wieder einer Abelschen Gleichung \(n\)-ten Grades vom Range Null mit rationalen Funktionen von \(x\) als Koeffizienten. Bei geeigneter Wahl von \(\xi\) gelangt man daher zu der Jacobischen Transformation \[ x = \frac{U(\xi)}{V(\xi)}, \] und die Größe \(\xi\) reicht zusammen mit \(x\) und der Quadratwurzel \[ y = \sqrt{(x-e_1)(x-e_2)(x-e_3)(x-e_4)} \] aus, um den Oberkörper \(K_1\) zu erzeugen. Die Darstellung, welche diese algebraischen Beziehungen annehmen, wenn man die Thetafunktionen einführt, beschließt die interessante Abhandlung.