On exponentials of exponential generating series
The shuffle product of two formal power series \(\sum_{n=0}^{\infty}{\alpha_nX^n}\) and \(\sum_{n=0}^{\infty}{\beta_n X^n}\) with coefficients in a field \(\mathbb K\) is defined by \[ \sum_{n=0}^{\infty}{\gamma_nX^n}:=\sum_{n=0}^{\infty}{\alpha_nX^n} \operatorname{\text Ш} \sum_{n=0}^{\infty}{\beta_nX^n} \] where \[ \gamma_n=\sum_{n=0}^{\infty}{\binom{n}{k}\alpha_k \beta_{n-k}}. \] A result which goes back to Hurwitz shows that the additive group \((X\mathbb K X,+)\) and the shuffle group \((1+X\mathbb K X, \operatorname{\text Ш} )\) are isomorphe. The map which gives this isomorphism is the exponential map defined as follows. If \(A=\sum_{n=1}^{\infty}{\alpha_n X^n}\) and \(B=\sum_{n=1}^{\infty}{\beta_n X^n}\), then \[ \exp_{!}(A):=1+B \] when \[ \exp(\sum_{n=1}^{\infty}{\frac{\alpha_n}{n!} X^n})=1+\sum_{n=1}^{\infty}{\frac{\beta_n}{n!} X^n}. \] In this article, the author proves that the map \(\exp_{!}\) also induces a group isomorphism between the subgroup of rational (respectively algebraic) series of \((X\mathbb K X, +)\) and the subgroup of rational (respectively algebraic) series of \((1+X\mathbb K X, \operatorname{\text Ш} )\), if \(\mathbb K\) is a subfield of the algebraically closed field \(\overline{\mathbb F}_p\) of positive characteristic \(p\). The author also shows that this result is not true if the field is of characteristic zero.
- Shuffle product of generating series
- Inverse for the shuffle for algebraic series
- Series with general exponents
- Quelques remarques sur les familles canoniques de polynômes générateurs pour l'exponentielle. (Remarks about the canonical families of polynomials that generate the exponential.)
- Structure theorems of mixable shuffle algebras.
- Inverse for the shuffle for algebraic series
- On the excesses of sequences of complex exponentials
- Exponential generating function of hyperharmonic numbers indexed by arithmetic progressions
- scientific article; zbMATH DE number 1193487 (Why is no real title available?)
- Finite Exponential Series and Newman Polynomials
- Un groupe unipotent universel
- Left inversion of analytic nonlinear SISO systems via formal power series methods
- Exponential B-Series: The Stiff Case
- scientific article; zbMATH DE number 5026024 (Why is no real title available?)
- Binomial convolutions for rational power series
- On bases of exponents with generation
This page was built for publication: On exponentials of exponential generating series
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q625352)
