On exponentials of exponential generating series

Roland Bacher (1)

1 IF - Institut Fourier

Identifying the algebra of exponential generating series with the shuffle algebra of formal power series, one can define an exponential map ${\mathop{exp}}_!:X\mathbb K[[X]]\longrightarrow 1+X\mathbb K[[X]]$ for the associated Lie group formed by exponential generating series with constant coefficient $1$ over an arbitrary field $\mathbb K$. The main result of this paper states that the map ${\mathop{exp}}_!$ (and its inverse map ${\mathop{log}}_!$) induces a bijection between rational, respectively algebraic, series in $X\mathbb K [[X]]$ and $1+X\mathbb K[[X]]$ if the field $\mathbb K$ is a subfield of the algebraically closed field $\overline{\mathbb F}_p$ of characteristic $p$.

Mots clés: Bell numbers; exponential function; shuffle product; formal power series; rational series; algebraic series; homogeneous form; automaton sequence

Domaines: Théorie des nombres [math.NT]; Combinatoire [math.CO]

Roland Bacher. On exponentials of exponential generating series. Algebra & Number Theory, 2010, 4 (7), pp.919-942. ⟨hal-00292997v4⟩