Element Order Divides Group Order
If is finite and , then the order of divides .
Corollary 3.7
If and , then
Proof
The cyclic subgroup generated by has order . Lagrange’s Theorem gives .
Related
Stated in
- Corollary 3.7§3.2 Consequences of Lagrange’s Theorem