Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2005/ia/paper-3/2d/solution
Past exam of the mathematics course of the University of Cambridge 2005 ia Paper 3 2D Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
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 , andThis map is indeed a group homomorphism, so there is exactly one, the trivial homomorphism.
New to topics? Read the docs here!