Some cycle indices |
such that g1⋅ (g2⋅ x)=(g1g2)⋅ x and 1⋅ x=x for all g1,g2∈ G and x∈ X. The orbit of x∈ X is the set G(x) of all elements of the form g⋅ x for g∈ G. The cycle index of a finite group G acting on a finite set X is a polynomial in indeterminates x1,x2,... over the set of rationals given by
G × X→ X, (g,x)↦ g⋅ x,..
where g is the permutation representation of g and (a1(g),..., a|X|(g)) is the cycle type of the permutation g. For more details about cycle indices (and about combinatorics via finite group actions in general) see [13].
Z(G,X) := (1)/(|G|)∑g∈ G ∏ i=1|X|xiai( g),..
Some cycle indices |