Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2005/ia/paper-3/2d/solution

A cyclic group is a group generated by a single element: there is such that every element is for some integer . For a finite group of prime order , choose . Its cyclic subgroup has order dividing by Lagrange's theorem, and its order is greater than one. Hence , and . Thus every group of prime order is cyclic.
A group homomorphism from is determined by , since . Its image generator must satisfy , so its order of a group element divides . As an element of its order also divides . These integers are coprime, so the only possible order is one. Thus , and
This map is indeed a group homomorphism, so there is exactly one, the trivial homomorphism.

New to topics? Read the docs here!