# Abelian implies universal power map is endomorphism

From Groupprops

## Statement

Let be an Abelian group, and be an integer. The map (i.e., the map done times when is positive and done times when is negative) is an endomorphism of .

## Proof

**Given**: An Abelian group , an integer .

**To prove**: The map is an endomorphism of : in other words, .

**Proof**: The proof basically follows from commutativity.

**PLACEHOLDER FOR INFORMATION TO BE FILLED IN**: [SHOW MORE]