On the partial generalization of the measure of transcendence of some formal Laurent series (Q1275772)

Sei \(F\) ein endlicher Körper mit \(q\) Elementen, \(x\) eine Unbestimmte; die Vervollständigung des Körpers \(F(x)\) bezüglich seiner Gradbewertung sei \(K\), der Körper der formalen Laurentreihen über \(F\). Mit \(F_0 := 1\) und \(F_k := \prod_{\kappa=1}^k (x^{q^\kappa}-x)^{q^{k-\kappa}}\) für \(k = 1,2,\ldots\) betrachtet man die auf ganz \(K\) erklärte Carlitzsche \(\psi\)-Funktion \(\psi(t) := \sum_{k=0}^\infty (-1)^k F_k^{-1} t^{q^k}\), für die \textit{L. I. Wade} [Duke Math. J. 8, 701-720 (1941)] gezeigt hat: Für jedes \(\alpha\in K^\times := K\setminus\{0\}\) ist \(\alpha\) oder \(\psi(\alpha)\) transzendent über \(F(x)\). \noindent Mit den vom Ref. [J. Reine Angew. Math. 299/300, 411-432 (1978; Zbl 0367.10032)] entwickelten Schlußweisen gewinnt Verf. ein Transzendenzmaß für \(\psi(\alpha)\) bei über \(F(x)\) algebraischem \(\alpha\in K^\times\), aus dem gefolgert werden kann: \(\psi(\alpha)\) ist entweder \(S\)- oder \(T\)-Zahl im Sinne des vom Ref. a.a.O. eingeführten \(K\)-Analogons der Mahlerschen Klassifikation. Bemerkung des Referenten: S. 102 oben ist \(r\) gewiß keine reelle Zahl, sondern ein Element von \(K\).