Yanlış anlamadıysam nG=\{g^n\mid g\in G\} kastediliyor, zira grup değişmeli değilse ng elemanı çok anlamlı olmayabilir.
n=1 için durum açık, 1G=G zaten bir alt-grup. Lakin n>1 ise sorun çıkıyor. Örnek olarak S_3'ü alalım :
S_3 = \{1,(12),(13),(23),(123),(132)\} ve 3S_3=\{1,(12),(13),(23)\} bir alt-grup değil. Buradaki problem, grup değişmeli değil ise g^n*h^n elemanının bir başka elemanın n'inci kuvvetine eşit olduğundan emin olamamamız. Grup değişmeli ise nG'nin alt-grup olduğunu gösterebiliriz:
1) 1=1^n\in nG
2)g^n*h^n=(gh)^n\in nG
3) (g^n)^{-1}=(g^{-1})^n\in nG