Legyen G tetszőleges csoport, g pedig ennek egy tetszőleges eleme, amelynek rendje d, azaz:

o(g)=d

Ekkor g tetszőleges k-adik hatványának (lásd a 24.9. Definíciót) rendjét az alábbi képlet adja meg, ahol \frac{d}{(d,k)} azt az egész számot jelöli, amelyet a (d,k) kitüntetett közös osztóval megszorozva d-t kapunk:

o(g^k)=\frac{d}{(d,k)}

A g^k hatvány rendje akkor és csak akkor egyezik meg g rendjével – azaz d-vel –, ha a k kitevő relatív prím d-hez.