Groups of rational transformations in a general field. (Q1485859)

Es sei \(F\) ein gegebener Zahlkörper und \(X\) ein System von Zahlen eines den Körper \(F\) enthaltenden Zahlkörpers \(F'\). Ist dann \(\varphi(x)\) eine ganze rationale Funktion mit Koeffizienten aus dem Körper \(F\), so kann es eintreten, daß die Zahl \(\varphi(x)\) für jede Größe \(x\) des Systems \(X\) wieder in \(X\) enthalten ist. Der Verf. beweist nun: Ein Komplex \({\mathfrak G}\) von solchen Transformationen \(T_i\equiv [x:\varphi_i(x)]\) \((i=1,2,\dots )\) des Systems \(X\) kann, falls nicht alle Funktionen \(\varphi_i(x)\) linear sind, nur dann eine Gruppe im eigentlichen Sinne bilden, wenn \(X\) aus den \(n\) Wurzeln \(x_1,x_2,\dots,x_n\) einer Gleichung \(f(x)=0\) mit Koeffizienten aus dem Körper \(F\) besteht. Setzt man \(x^\prime_k=\varphi_i(x_k)\) \((k=1,2,\dots n)\) für ein festes \(i\), so stellt \[ S=\left( \begin{matrix} x_1, & x_2, & \dots , & x_n \\ x^\prime_1, & x^\prime_2, & \dots , & x^\prime_n \end{matrix} \right) \] eine Permutation der \(n\) Wurzeln \(x_1,x_2,\dots,x_n\) dar, die mit allen Permutationen der \textit{Galois}schen Gruppe der Gleichung \(f(x)=0\) vertauschbar ist. Genügt umgekehrt eine Permutation \(S\) dieser Bedingung, so läßt sich eine ganze rationale Funktion \(\varphi(x)\) mit Koeffizienten aus dem Körper \(F\) bestimmen, so daß \(x^\prime_k=\varphi(x_k)\) wird.