Regular permutation subgroup

A regular permutation subgroup acts transitively with trivial point stabilizers. Each ordered pair of points is related by exactly one subgroup element. A finite regular subgroup on $n$ points has order $n$. Normality and characteristicity are additional properties; they do not follow from regularity alone.

Identify a regular orbit with the group using a chosen base point. A permutation commuting with all left translations satisfies $c(x)=xc(1)$. Thus the centralizer consists of right translations. Defining $R_g(x)=x{g}^{-1}$ makes $R_g{R}_h=R_{gh}$ and gives an isomorphism to $G$, rather than an unmentioned reversal of multiplication.