Sei G eine Gruppe und g ∈ G. Das Inverse von g wird bekanntlich mit g^(−1) bezeichnet. Sei m ∈ Z. Formal definiert man die m-te Potenz g^m von g rekursiv wie folgt:
g^0∶= 1;
g^m ∶= gg^(m−1) für m > 0;
g^m ∶= (g^(−1))^(−m) für m < 0.
Zeigen Sie per Induktion, dass
g^m g^n = g^(m+n)
für alle g ∈ G und m, n ∈ Z.