Centralizer of a regular permutation subgroup

ID: centralizer-of-a-regular-permutation-subgroup

Identify a regular orbit with the group using a chosen base point. A permutation commuting with all left translations satisfies . Thus the centralizer consists of right translations. Defining makes and gives an isomorphism to , rather than an unmentioned reversal of multiplication.

New to topics? Read the docs here!