Periodic multivariate formal power series

Abstract

A system of multivariate formal power series $φ$ with a homogeneous decomposition $φ=\sum_{k=0}^\inftyφ_k$ is invertible under composition if $φ_0=0$ and $\mathrm{det}(φ_1)\ne 0.$ All invertible series over a field $K$ form a formal transformation group $G_\infty(n,K).$ We prove that every periodic series $φ\in G_\infty(n,K)$ with $φ_1$ diagonalizable is conjugate to $φ_1.$ This classifies all periodic series in $G_\infty(n,\mathbb{C}).$ A constraint for a periodic series is obtained when its first term is a multiple of identity.