The order of a group element to some power is equal to the order of the generator, divided by the gcd of the order of the generator with the power of the element.

See greatest common divisor, cyclic group, order of a group

Let G be finite, and aG.

Then |ak|=|a|gcd(|a|,k)

If |a|=n,
Then |ak|=ngcd(n,k).

Proof

Let d=gcd(n,k) be an integer. Notably, d|n

(ad)nd=an=e
so |ad|nd

Let 0<i<nd
(ad)i=adi
nb di<dnd=n
and adie because that would contradict |a|=n
so there is no such i, i.e. nd is minimal

Therefore:
if d|n, then |ad|=nd

In particular,
|ak|=|agcd(n,k)|=ngcd(n,k)

QED

Powered by Forestry.md