Bemerkung über Abel'sche Gleichungen. (Q1548845)

Ist \(f(x) = 0\) eine irreductibele Gleichung \(n^{\text{ten}}\) Grades und eine Wurzel derselben \(x_0'=\theta(x_0)\) eine rationale Function einer anderen \(x_0\), so ordnet sich das System der Wurzeln (cfr. Abel, Oeuvres; nouv. éd. Bd. I. No. XXV. \(\S\) 1) in folgende Tabelle ein: \[ \begin{matrix}\l\quad & \l\quad & \l\quad & \l\quad &\l\\ x_0 & \theta(x_0) & \theta^2(x_0) & \cdots & \theta^{m-1}(x_0), \\ x_1 & \theta(x_1) & \theta^2(x_1) & \cdots & \theta^{m-1}(x_1), \\ \hdotsfor5 \\ x_{\nu-1} & \theta(x_{\nu-1}) & \theta^2(x_{\nu-1}) & \cdots & \theta^{m- 1}(x_{\nu-1}). \end{matrix}\quad \left( \begin{matrix}\l\;&\l\\ m\nu &= n \\ \theta^m(x_\alpha) & =x\alpha \end{matrix} \right) \] Die Resolvente \[ \varphi_0=x_0+\theta(x_0) + \theta^2(x_0) + \cdots + \theta^{m- 1}(x_0) \] genügt einer Gleichung \(\nu_{\text{ten}}\) Grades \(F(\varphi) = 0\), mit deren Lösung die Lösung der Gleichung \(f(x)=0\) gegeben ist. Diese Gleichung ist zwar ebenso wie \(f(x) = 0\) irreductibel, aber ohne weitere Voraussetzungen eine allgemeine. Der Verfasser stellt sich die Frage: ``Welehe Bedingungen müssen die Wurzeln von \(f(z) = 0\) erfüllen, damit dieselben Beziehungen, wie bei \(f(x) = 0\), auch bei \(F(\varphi) = 0\) eintreten \(?\)'' jedoch unter der Beschränkung, dass aus \(\varphi_\beta = Rat(\varphi_\alpha)\) auch \(x_\beta=Rat_1(x_\alpha)\) folgen solle. Unter dieser Beschränkung ergiebt sich als notwendig und hinreichend hierfür, dass zwischen den Wurzeln der Gleichung \(f(x) = 0\) die Beziehungen stattfinden: \[ \begin{aligned} x_0'& =\theta(x_0), \\ \theta_1\theta(x_0) & = \theta^{\alpha_1} \theta_1(x_0),\\ \theta_2\theta_1(x_0) & = \theta^{\beta_2} \theta_1^{\gamma_2} \theta_2(x_0),\\ \theta_3\theta_2(x_0) & = \theta^{\delta_3} \theta_1^{\varepsilon_3} \theta_2^{\zeta_3} \theta_3(x_0),\ldots\end{aligned} \begin{aligned} x_1& =\theta(x_0),\\ \theta_1\theta(x_0) & = \theta^{\alpha_2} \theta_2(x_0),\\ \theta_2\theta_1(x_0) & = \theta^{\beta_3} \theta_1\theta_3(x_0),\ldots \end{aligned} \] \[ \begin{matrix} x_2 =\theta_2(x_0),\\ \theta_3\theta (x_0) = \theta^{\alpha_3} \theta_3 (x_0),\ldots \\ \hdotsfor1\;\end{matrix}\quad \begin{matrix} x_3 & = \theta_3(x_0), \ldots\\ &{\;}\\ &{\;}\end{matrix} \] Die so definirten Gleichungen sind demnach die allgemeinsten, welche nach ''Abel'scher Methode'' (cf. Abel l. c.) gelöst werden können; Aus der Betrachtung der Gruppe der Gleichung \(f(x)=0\) ergiebt sich eine bemerkenswerte Analogie mit den auflösbaren Gleichungen überhaupt. Dass man durch diese Art von Gleichungen wirklich auf neue auflösbare geführt wird, wird durch Angabe eines speciellen Falles gezeigt.