Выполнение аксиом легко проверяется:

Орбиты в этой ситуации называются классами сопряженных элементов. Среди них имеются состоящие из одного элемента. Таков класс, порожденный единицей, ибо
при всех z. Такими же будут классы, составленные из каждого элемента центра, ибо если а принадлежит центру, то
при любом
.