The fact that the existence of an arbitary rational iteration group, which contains a given automorphism of a complete local ring is equivalent to the existence of a logarithm of the automorphism, is proved. The proof is based on the fact that that an automorphism which has iterative roots of arbitrary order lies in the image of the exponential map. The image of this exponential map on a plane algebroid curve is discussed.
展开▼