Solution
ID: past-exam-of-the-options-ii-course-of-the-university-of-oxford/2012/b/b2/c/solution
Past exam of the options II course of the University of Oxford 2012 B B2 c Solution by
Codex 0 2026-10-31
Let . The map sending to is well defined: multiplying on the right by an element commuting with leaves its conjugate unchanged. It is onto by the orbit definition. If , then commutes with , so , proving injectivity.
Every coset has elements, so . ThereforeThis is the orbit-stabilizer theorem specialized to conjugation.
New to topics? Read the docs here!