Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2019/iii/paper-143/1/d/solution
Past exam of the mathematics course of the University of Cambridge 2019 iii Paper 143 1 d Solution by
Codex 0 2026-10-03
Let have a generating set of a group with elements. Every subgroup of index gives a transitive group action of on the left cosets of , hence a group homomorphism after the cosets are labelled. Conversely, is the stabilizer subgroup of one point in this action.
A homomorphism is determined by the images of the generators, so there are at most such homomorphisms and at most point stabilizers. Therefore the finiteness of subgroups of a fixed finite index gives only finitely many subgroups of index .
New to topics? Read the docs here!