How do you prove that the order of a in Zn (where n is an integer greater than or equal to 1) viewed as a group of order n with respect to addition is
n/(gcd(a,n))?
Letbe a cyclic group (finite). And let
. It means the
has a generator that is
for some
.
Letthus,
for
.
We need to find the smallestsuch as,
By the properties of cyclic groups and the fact thatis a generator it is equivalent to saying
divides
.
Thus, we need the smallestsuch that,
is an integer.
We can write it as, (by dividing by
But,
Thus,
divides
.
The smallest suchis of course,
Thus, the order of any element is,
![]()