Past exam of the mathematics course of the University of Cambridge 2001 iii Paper 3 4 a Solution Created 2026-10-03 Updated 2026-10-14
Choose . Since acts regularly, identifies with the underlying set of , and the given action becomes left multiplication .
A permutation centralizing all satisfiesConversely every right translation commutes with every left translation. To make the multiplication convention explicit, define . Then , using rightmost-first composition. The map is injective and its image is the entire centralizer, since any possible can be written . ThusThis is centralizer of a regular permutation subgroup. If one instead writes right multiplication as , the resulting map is an antihomomorphism; including the inverse avoids suppressing that reversal. Choosing a different base point changes the identification but not the isomorphism type.