On the mutual reduction of algebraic equations. (Q1448867)

Beweis des folgenden Satzes: In dem Rationalitätsbereich \(\mathfrak R\) sei \[ F(x) = \prod_{\mu = 1}^m (x - \alpha_\mu) =0 \quad \text{ eine Gleichung } m\text{-ten Grades}, \] \[ G(y) = \prod_{\nu=1}^n (y - \beta_\nu) = 0 \quad \text{ eine Gleichung } n\text{-ten Grades}. \] Das Polynom \(\varphi (x, y)\) sei so bestimmt, daß die \(m \cdot n\) Werte \(\gamma_{\mu\nu} = \varphi (\alpha_\mu, \beta_\nu)\) von einander verschieden sind. Ist \(H(z) = 0\) die Gleichung \(mn\)-ten Grades mit den Wurzeln \(\gamma_{\mu\nu}\), \[ H(z) = h_1(z) \cdots h_e(z) \] ihre Zerlegung in irreduzible Faktoren und \[ \begin{gathered} f_i(x, \beta) = (F(x), h_i\{\varphi (x, \beta)\}), \\ g_i(y, \alpha) = (G(y), h_i\{\varphi(\alpha, y)\}), \end{gathered} \] so ist die Zerlegung von \(F(x)\) in \(\mathfrak R(\beta)\), bzw. \(G(y)\) in \(\mathfrak R(\alpha)\) gegeben durch \[ \begin{aligned} F(x) & = f_1(x, \beta) \, f_2(x, \beta) \cdots f_e(x, \beta) \\ G(y) & = g_1(y, \alpha) \, g_2(y, \alpha) \cdots g_e(y, \alpha). \tag{"bzw."} \end{aligned} \] Vgl. übrigens die Reziprozitätssätze von \textit{Loewy}, 1922; F. d. M. 48, 77 (JFM 48.0077.*).