Beitrag zur Theorie der algebraischen Resolventen. (Q1506887)

Gegeben sind die beiden algebraischen Gleichungen \(f(\lambda)=0\) vom \(m\)-ten und \(g(\mu)=0\) vom \(n\)-ten Grade. Es soll die Gleichung \(\varphi(z)=0\) in \textit{expliziter} Form hergestellt werden, deren Wurzeln \(z=\lambda+\mu\) sind, wo für \(\lambda\) und \(\mu\) sämtliche Wurzeln der beiden gegebenen Gleichungen zu substituieren sind. Bei der Beantwortung der Frage, wie die hierbei nötige Elimination praktisch durchführbar ist, geht der Verf. von der Bemerkung aus, daß\ sich die Darstellung der formalen Theorie der algebraischen Gleichungen symmetrischer und übersichtlicher gestaltet, sobald man statt der Wurzeln gewisse mit ihnen in engem Zusammenhang stehende Wertsysteme betrachtet. Nämlich, man kann stets eine lineare Substitution \[ x_{a}'=a_{a1}x_1+a_{a2}x_2+\dotsm+ a_{am}x_m \] angeben, deren charakteristische Gleichung \[ |a_{rp}-\varepsilon_{rp}\lambda|=0 \; \left(r, s=1, 2, \dots, m; \; \varepsilon_{rs}= \begin{matrix} 0, & r \gtrless s \\ 1, & r=s \end{matrix} \right) \] mit der gegebenen Gleichung \(f(\lambda)=0\) identisch ist. Alsdann besteht zwischen den Doppelelementen \((x_1^{(i)}, x_2^{(i)}, \dots, x_m^{(i)})\) dieser linearen Substitution und den Wurzeln von \(f(\lambda)=0\) eine gegenseitig eindeutige Beziehung derart, daß\ jeder Wurzel \(\lambda_i\) ein und nur ein Doppelelement entspricht, und umgekehrt. Im zweiten Teil der Arbeit leitet der Verf. durch Spezialisierung verschiedene Resolventen in expliziter Form her, unter anderen auch die von Lagrange herrührende Resolventengleichung, deren Wurzeln die Quadrate der Wurzeldifferenzen der Gleichung \(f(\lambda)=0\) sind.