Let be a cyclic group of order with generator .
-
Suppose the maps and are homomorphisms. Prove that if and only if .
-
Let the map be a homomorphism. Explain why for some .
-
Show that the obtained in (ii) is unique to .
-
Suppose the functions and are homomorphisms. Prove that
where denotes function composition and denotes multiplication modulo .
-
Let the function be a homomorphism. Prove that is an automorphism if and only if has a multiplicative inverse modulo . That is, there exists such that if and only if is an automorphism.(Hint: an exercise given elsewhere in the book states that if and only if .)
-
Hence, by considering the map where , prove that
Kan, A Complete Introduction to Abstract Algebra, Groups, More Types of Groups, Problem 4