Généralisation d'un théorème d'Abel. (Q1460461)

Es sei \(\varOmega\) der Bereich sämtlicher komplexen Zahlen; \(\varOmega_1\) dessen Erweiterung durch Adjunktion mehrerer unabhängiger Veränderlichen \(x\), \(y\), \(z\), \(\ldots\), \(t\). Indem wir zu \(\varOmega_1\) die Wurzeln sämtlicher algebraischer Gleichungen \(f (u) = 0\) adjungieren, bekommen wir den Bereich \(\varLambda\). Die Logarithmen und Exponentialfunktionen der Elemente von \(\varLambda\) mit all ihren Kombinationen bilden den Bereich \(\varLambda_1\) usw. Es sei \(y\) eine Funktion von \(x\) mit der Signatur \(k\). Ist sie in endlicher Form integrierbar, dann wird \({\displaystyle\int} y\,dx = t +\sum A \log a\), wo \(t\) und \(a\) Elemente von \(\varLambda_k\) und \(A\), \(\ldots\) Konstante sind.