Exercise 16, § 1

Let $\tau$ be an associative and commutative law of composition on a set E. Let $n$ be an integer $> 0$. The mapping $x \mapsto \tau^n x$ of E into E is a morphism.