Periodic multivariate formal power series (Q2100072)

Let \(K\) be a field and \(\mathrm{GL}_n(K)\) the general linear group over \(K\). We consider the formal transformation group \[ G_{\infty}(n,K) =\big\{\phi=\sum_{i:0}^{\infty}\phi_i\in K[[x_1,\ldots,x_n]]^n; \phi_0=0, \phi_1\in \mathrm{GL}_n(K)\big\} \] where the \(\sum_{i:0}^{\infty}\phi_i\) is the unique homogeneous decomposition of \(\phi\). A series in \(G_{\infty}(n,K)\) is said to be periodic if its order in \(G_{\infty}(n,K)\) is finite and is said \(m\)-periodic if its order is equal to \(m\). The main results of this paper are: (1) If \(\mathrm{char}\,K=0\) and \(\phi\in G_{\infty}(n,K)\) is periodic, then \(\mathrm{ord}(\phi)=\mathrm{ord}(\phi_1)\). (2) Suppose \(m\geq 2\) and \(m\not\in \mathrm{char}\,K.\mathbb{Z}\). Let \(\phi\in G_{\infty}(n,K)\) be a \(m\)-periodic series with \(\phi_1\) diagonalizable. Then \(\phi\) is conjugate to \(\phi_1\), i.e. there exists \(\psi\in G_{\infty}(n,K)\) such that \(\phi=\psi^{-1}\phi_1\psi\).