In the proof of Theorem 9.2.4, we showed
.
Show (where these letters have the meaning
given there).
Let be a cyclic group of order and
be a cyclic group of order where
.
Prove that the generators of
are precisely all elements of the form ,
where is a generator of and is a generator
of . (HINT: Theorem 1.2.11.)
Let be a finite abelian group of order
, where
the are distinct primes. Prove that
,
where is the subgroup
of consisting of all elements whose order
divides .