A cyclic group of order six has exactly one subgroup of each order , and no others. Since it is abelian, these are also its four conjugacy classes of subgroups. Thus there is one transitive group action of each size .
An action on six points is a disjoint union of its orbits. Its equivalence type is therefore determined by nonnegative integers satisfyingIf there is one possibility. If , the possibilities allow respectively choices of , with then fixed. HenceThis is counting finite group actions by transitive orbit types. Equivalently, a generator acts as a permutation whose cycles have lengths dividing six, and these are its eight possible cycle types on six points.
Articles by others on the same topic
There are currently no matching articles.