An explicit example of an iteration group in the ring of formal power series (Q6562891)

Let \(k\) be a field of characteristic zero and \((G,+)\) a commutative group. For each \(s\in\mathbb{N}\cup\{\infty\}\), we denote \(\displaystyle k[[X]]_s=\{\sum_{j:0}^sa_jX^j; a_j\in k\}\), the ring of all \(s-\)truncated formal power series over \(k\). Let \(\Gamma^s\subset k[[X]]_s\) be the set of all \(s-\)truncated formal power series which are invertible with respect to substitution \(\circ\) in \(k[[X]]_s\). Then \((\Gamma^s,\circ)\) is a group. A non-empty family \(\mathcal{F}=(F_t)_{t\in G}\subset \Gamma^s\) satisfying \(F_{t_1+t_2}=F_{t_1}\circ F_{t_2}\) is called a one parameter group of \(s-\)truncated formal power series. On the other hand, an equation of the type \(\frac{d\Phi}{ dx}.H=H\circ\Phi\), (1) is called the third Aczel-Jabotinsky formal differential equation, where \(H\) is the generator. In the paper under review, the author exhibits an example of some iteration group in \(k[[X]]\). This allows him to obtain an explicit formula for some one parameter group in \(k[[X]]_s\). And then find solutions to the equation (1) in \(k[[X]]_s\) with non-commutative groups.