Some results on algebraic independence (Q5902905)

Als Verallgemeinerung eines Satzes von \textit{A. Ostrowski} [vgl. Acta Math. 78, 315-318 (1946)] über die algebraische Unabhängigkeit komplexwertiger Funktionen beweist der Verf. mit elementaren Methoden den folgenden Satz. Es sei K ein Körper der Charakteristik 0, D eine Derivation von K, \(k=\{a\in K|\) \(D(a)=0\}\), und \(K_ 0\) sei ein Unterkörper von K mit \(K_ 0\supset k\), \(D(K_ 0)\subset K_ 0\). Für alle \(i\in {\mathbb{N}}\) sei \(f_ i\in K\) und \(D(f_ i)\in K_ 0\). Setzt man \[ T=\{\sum^{n}_{i=1}c_ if_ i\quad | \quad n\in {\mathbb{N}},\quad c_ 1,...,c_ n\in k,\quad c_ s\neq 0\text{ für mindestens ein }s\}, \] so sind die \(f_ i\) \((i\in {\mathbb{N}})\) genau dann algebraisch unabhängig über \(K_ 0\), wenn \(T\cap K_ 0=\emptyset\) ist. Anschließend wendet der Verf. diesen Satz auf \(K=k((x))\) mit einem Körper \(k\) der Charakteristik 0, \(D=d/dx\), \(K_ 0=k(x)\) an. Wird für \(P\in k[x]\) mit \(P(0)=1\) \[ Log P=-\sum^{\infty}_{n=1}(1-P)^ n/n\quad in\quad k((x)) \] gesetzt, so ergibt sich insbesondere für nichtkonstante, paarweise teilerfremde \(P_ i\in k[x]\) \((i\in {\mathbb{N}})\) mit \(P_ i(0)=1\) für alle \(i\in {\mathbb{N}}\), daß die Log \(P_ i\) \((i\in {\mathbb{N}})\) algebraisch unabhängig über \(k(x)\) sind [vgl. \textit{Y. Hellegouarch}, Rev. Math. Spéciales 3, 121-122 und 123-125 (1984)].