-
A permutation group
acting on is semiregular if no non-identity element of fixes a point of . - If
is semiregular, then all all orbits have length equal to .
- If
-
A permutation group is regular if it is semiregular and transitive.
- If
is regular on , then . - The group
acts on itself regularly.
- If
-
(Godsil e3.8) A transitive Abelian permutation group is regular.
-
Proof: Let
be a transitive Abelian permutation group. We show that is semi-regular. Let be fixed by . By transitivity, there exists such that for any , . Since is Abelian Thus
which means . Therefore, is semi-regular and in combination with transitivity, regular.
-