Exponential of a locally nilpotent infinitely powered endomorphism

From Groupprops

Definition

Suppose is an abelian group and is a locally nilpotent endomorphism of that is also an infinitely powered endomorphism. In other words, for every , there exists such that . Further, for all natural numbers , the image is powered for all primes less than or equal to . Then, the exponential of is the function:

In other words, we add terms of the exponential series till they become zero.