Roots, iterations and logarithms of formal automorphisms (Q1103792)

Consider the ring of formal power series in m indeterminates over the field \({\mathbb{C}}\) of complex numbers and denote this ring by \({\mathcal O}\). Then, given some \({\mathbb{C}}\)-automorphism F of \({\mathcal O}\), there are various conditions which are equivalent to the condition that F lies in the image of the exponential map of the corresponding Lie algebra of derivations, i.e. F has a logarithm. These have been derived by various authors. Now, define G to be an n-th root of f if G \(n=F\) and call F divisible, if it has roots of all orders n. Then it is shown, that F has a logarithm if and only if it is divisible. The main tool in the proof of this is a lemma saying that for any divisible F and any positive integer n there is a divisible n-th root of F. To proof this lemma some tools of algebraic geometry are used. Furthermore similar questions are considered for algebraic subgroups of the group of \({\mathbb{C}}\)-automorphisms of \({\mathcal O}\).