The order of a cyclic group equals the order of its generator
Given a finite-ordered group element
Proof
Clearly
. Additionally, since π = { π , π 1 , β¦ , π π β 1 } β β¨ π β© is the smallest positive integer such that π , each of these elements is unique: we need only show they be exhausted. Let π π = π . By the division algorithm π π β β¨ π β© where π = π π + π . Then 0 β€ π < π . π π = π π π + π = π π β π