Cycle index ($Z_G(t_1,t_2,\dots )=|G{|}^{-1}{\sum }_{g\in G}{\prod }_r{t}_r^{c_r(g)}$)

For a permutation group, $c_r(g)$ is the number of length-$r$ cycles of $g$. The cycle index records the average cycle structure. On coloring a finite underlying set, a coloring fixed by $g$ is constant on each cycle. Replacing $t_r$ by the power-sum symmetric polynomial $p_r(x)$ therefore gives the pattern inventory by the weighted Burnside lemma.

This is the sum of content monomials of colorings up to the group action. It equals the cycle index specialized at $t_r=p_r(x)$. One may first use finitely many colors; stabilization defines the corresponding homogeneous symmetric function. Calling the specialized cycle index a cycle indicator makes $Z_G=F_G$ an equality in the same variables.