Teorema 3.2.16.

Dalam suatu grup, hukum-hukum perpangkatan yang lazim berlaku; yaitu, untuk semua \(g, h \in G\text{,}\)
  1. \(g^mg^n = g^{m+n}\) untuk semua \(m, n \in {\mathbb Z}\text{;}\)
  2. \((g^m)^n = g^{mn}\) untuk semua \(m, n \in {\mathbb Z}\text{;}\)
  3. \((gh)^n = (h^{-1}g^{-1})^{-n}\) untuk semua \(n \in {\mathbb Z}\text{.}\) Selanjutnya, jika \(G\) abelian, maka \((gh)^n = g^nh^n\text{.}\)
Dalam Konteks