Der Hauptsatz über Iteration im Ring der formalen Potenzreihen (Q1092342)

Using the theory of normal forms, the author shows that an automorphism of the ring of power series in finitely many indeterminates is analytically iterable if it has iterative roots of all orders which commute pairwise. Using this result, he proves a conjecture of L. Reich: if an automorphism is iterable, it is analytically iterable. The author points out that his results partly overlap with stronger results by \textit{C. Praagman} [Dissertation at Groningen University (1985)], who proves the same result without assuming that the roots commute. Praagman, however, uses strong results from algebraic geometry, while the present paper works with elementary arguments. The results are also used to give a new proof of an old result of \textit{D. C. Lewis} jun. [Duke Math. J. 5, 794-805 (1939; Zbl 0022.32703)]: To every automorphism F there exists a natural number m such that \(F^ m\) is analytically iterable.