Probleme über rationale Funktionen der Wurzeln einer algebraischen Gleichung. (Q2579651)

Bekannte Sätze über rationale Funktionen der Wurzeln einer algebraischen Gleichung werden neu bewiesen und angewandt. Hauptsatz: Sind \(\varphi \) und \(\psi \) rationale Funktionen von \(x_{1}\),\dots, \(x_{n}\), ist die zu \(\varphi \) gehörige Substitutionsgruppe in der zu \(\psi \) gehörigen enthalten, und ist \(m\) die Anzahl der verschiedenen Funktionen, in die \(\varphi \) bei allen Permutationen der \(x_1\),\dots , \(x_{n}\) übergeführt wird, dann ist \(\psi =r(\varphi )\), wo \(r(x)\) ein Polynom des Grades \(\leqq m-1\) ist, dessen Koeffizienten symmetrische Funktionen der \(x_{1}\),\dots, \(x_n\) sind. -- Die \(x_1\),\dots, \(x_{n}\) seien (verschiedene) Wurzeln einer algebraischen Gleichung \(F(x) = 0\). Ist dann insbesondere \(\varphi \equiv R(x_1)\), \(\psi \equiv S(x_1)\), so folgt aus dem Hauptsatz, daß \(S(x_i)=r\bigl(R(x_i)\bigr)\) (\(i = 1\),\dots, \(n\)) ist, wo \(r(x)\) vom Grade \(\leqq n-1\) ist und rationale Koeffizienten hat. Ist \(\varphi (x_1,\dots,x_n)\) bei der symmetrischen Gruppe \(n!\)-wertig (\(\varphi =\varphi _1\), \(\varphi _2\),\dots, \(\varphi _{n!}\)), dann ist die irreduzible Gleichung mit den Wurzeln \(\varphi _1\),\dots, \(\varphi _{n!}\) eine Galoisresolvente für \(F(x)\). Sind \(\varphi \) und \(\psi \) symmetrische Funktionen von \(p\) der \(n\) Wurzeln \(x_1\),\dots, \(x_{n}\), ist \(f(x) = 0\) eine Gleichung mit diesen \(p\) Wurzeln, und sind \(\varphi _1\),\dots, \(\varphi _m\) verschieden \(\biggl(m=\displaystyle {n\choose p}\biggr)\), dann sind die Koeffizienten von \(f(x)\) ganze rationale Funktionen von \(\varphi \) vom Grade \(<m\) und mit rationalen Koeffizienten (Anwendungen auf \(x_1+\dots +x_p\) und auf \(x_1\cdots x_p\)). Daraus folgt: Eine notwendige Bedingung für die Reduzibilität von \(F(x)\) ist die Existenz einer Funktion von \(p\) der \(n\) Wurzeln (\(p = 1\),\dots, \(n - 1\)), deren Wert dem Koeffizientenkörper von \(F(x)\) angehört (Anwendungen auf Resolventen der Gleichungen vierten und sechsten Grades, auf die Bestimmung einer Wurzel, von der man den Betrag, oder den Realteil, oder das Argument kennt).