Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-oxford/2017/prelims/mathematics-i/6/b/iv/solution
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics I 6 b iv Solution by
Codex 0 2026-10-25
The stabilizer subgroup of for this conjugation group action is its normalizerIf it is all of , the equality holds for every , which is precisely the definition of a normal subgroup.
If instead , the orbit-stabilizer theorem says that the group orbit of has size . Every conjugate is isomorphic to , with group isomorphism , so this group orbit is a subset of . ThereforeThe group action need not be transitive on all of ; this one group orbit supplies the lower bound.
New to topics? Read the docs here!