Note sur un article de Sharif et Woodcock

Allouche, Jean-Paul

Séminaire de théorie des nombres de Bordeaux, Série 2, Tome 1 (1989) no. 1, pp. 163-187.

H. Sharif et C. Woodcock donnent dans [26] une caractérisation des séries formelles à coefficients dans un corps $K$ de caractéristique non nulle et algébriques sur $K\left(X\right)$ ; ils en déduisent simplement l’algébricité du produit de Hadamard ou des diagonales de séries algébriques. (Ces résultats ont aussi été obtenus par T. Harase [14]). Nous donnons ici une démonstration légèrement différente de leur théorème et montrons comment on peut en déduire une généralisation intéressante de la notion de $p^k$-substitution sur un alphabet infini (inclus dans un corps de caractéristique $p$). Dans la dernière partie de cet article nous revenons sur l’indépendance algébrique de certaines séries formelles étudiées dans [2].

H. Sharif and C. Woodcock give in [26] a characterization of formal power series with coefficients in a field $K$ of positive characteristic, which are algebraic over $K\left(X\right)$. They deduce in a simple way from this theorem the algebraicity of Hadamard products and diagonals of algebraic power series. (These results have been also obtained by T. Harase [14]). We give here a slightly different proof of their theorem and we show how it can lead to an interesting generalization of the notion of $p^k$-substitution on an infinite alphabet (included in a field of characteristic $p$). In the last part of this paper we come back to the algebraic independence of certain formal power series which have been previously studied in [2].

Classification : 10B40, 12E99
Mots clés : formal power series, Hadamard products, diagonals of algebraic power series, automata

[1] J-P. Allouche, Automates finis en théorie des Nombres, Expo. Math.. 5 (1987), 239-266. | MR | Zbl

[2] J-P. Allouche, M. Mendès France, et A.J. Van Der Poorten, Indépendance algébrique de certaines séries formelles, Bull. Soc. Math. France 116 (1988), 449-454. | Numdam | MR | Zbl

[3] J-P. Bezivin. Communication privée.

[4] G. Christol, Ensembles presque périodiques k-reconnaissables, Theoretical Computer Science, 9 (1979), 141-145. | MR | Zbl

[5] G. Christol, Fonctions et éléments algébriques, Pac. J. Math. 125 1 (1986), 1-37. | Zbl

[6] G. Christol, Diagonales de fractions rationnelles, Sém. de Théorie des Nombres de Paris (1986-1987), 65-90. Progress in Math., Birkhäuser. | MR | Zbl

[7] G. Christol, T. Kamae, M. Mendès France et G. Rauzy, Suites algébriques, automates et substitutions, Bull. Soc. Math. France, 108 (1980), 401-419. | Numdam | MR | Zbl

[8] P. Deligne, Intégration sur un cycle évanescent, Invent. Math. 76 (1983), 129-143. | MR | Zbl

[9] J. Denef et L. Lipshitz, Algebraic power series and diagonals, J. Number Theory 26 (1987), 46-67. | MR | Zbl

[10] M. Fliess, Sur certaines familles de séries formelles, Thèse, Paris VII (1972).

[11] M. Fliess, Sur divers produits de séries formelles, Bull. Soc. Math. France 102 (1974), 181-191. | Numdam | MR | Zbl

[12] J. Fresnel. Communication privée.

[13] H. Furstenberg, Algebraic functions over finite fields, J. Algebra 7 (1967), 271-277. | MR | Zbl

[14] T. Harase, Algebraic elements in formal power series rings, Israel Journal of Math. 63 3 (1988), 281-288. | MR | Zbl

[15] G. Henniart. Communication privée.

[16] R. Jungen, Sur les séries de Taylor n'ayant que des singularités algébrico-logarithmiques sur leur cercle de convergence, Comment. Math. Helv. 3 (1931), 266-306. | JFM | MR | Zbl

[17] P. Liardet, Automata and generalized Rudin-Shapiro sequences, Salzburg Universitât (1986).

[18] L. Lipshitz et A.J. Van Der Poorten, Rational functions, diagonals, automata and arithmetic, in R.A. Mollin (ed.), First conference of the Canadian Number Theory Association, Banff/Can. (1988). (de Gruyter 1989). | Zbl

[19] M. Mendès France et A.J. Van Der Poorten, Automata and the arithmetic of formal power series, Acta Arith. 46 (1986), 211-214. | MR | Zbl

[20] A.J. Van Der Poorten, Solution de la conjecture de Pisot sur le quotient de Hadamard de deux fractions rationnelles, C.R. Acad. Sci. Paris t. 306, Série I (1988), 97-102. | MR | Zbl

[21] Y. Pourchet, Solution du problème arithmétique du quotient de Hadamard de deux fractions rationnelles, C.R. Acad. Sci. Paris t. 288, série A (1979), 1055-1057. | MR | Zbl

[22] R. Rumely, Note on van der Poorten's proof of the Hadamard quotient theorem (Part I and II),, Sém. de Théorie des Nombres de Paris (1986-1987), 349-409. Progress in Math., Birkhaüser. | MR | Zbl

[23] O. Salon, Suites automatiques à multi-indices, Sém. de Théorie des Nombres de Bordeaux, exposé n° 4 (1986-1987), 4.01-4.36. (avec un appendice de J. Shallit). | Zbl

[24] T. Schneider, Einführung in die Tranzendenten Zahlen, Springer, Berlin (1957.). | MR | Zbl

[25] M.P. Schützenberger, On a definition of a family of automata, Information and Control 4 (1961), 245-270. | MR | Zbl

[26] H. Sharif et C.F. Woodcock, Algebraic functions over a field of positive characteristic and Hadamard products, J. Lond. Math. Soc. (2) 37 (1988), 395-403. | MR | Zbl

[27] H. Sharif et C.F. Woodcock, Hadamard products of rational formal power series. Preprint. | MR

[28] H. Sharif et C.F. Woodcock, On the transcendence of certain series, J. Algebra 121 (1989), 364-369. | MR | Zbl

[29] L.I. Wade, Two types of function field transcendental numbers, Duke Math. J. 11 (1944), 755-758.. | MR | Zbl