Lagmental Vicfred

The Cycle Index Averages Monomials of Cycle Counts by Vicfred

tags: mathematics, Polya enumeration, combinatorial species, symmetry

One monomial per group element records how many cycles of each length occur. The example is deliberately concrete; it is a test of the statement, not a substitute for it.

Definitions first

A group \(G\) acting on positions identifies colorings that differ by symmetry. Cycle indices record the cycle structure of each \(g\in G\) and support systematic substitution of color inventories.

$$ c_i(g)=\#\{\text{cycles of length }i\text{ in }g\} $$

The definition determines which expressions are legal; only then does the identity become meaningful. An equality in \(\mathcal A\) may change ambient meaning, so I keep \(\mathsf D\) separate from \(\mathsf C\).

$$ Z_G(s_1,s_2,\ldots)=\frac1{|G|}\sum_{g\in G}\prod_{i\ge1}s_i^{c_i(g)} $$

A small case in full

A worked instance is useful here because it exposes every index that the compressed statement hides.

$$ Z_{S_3}=\frac16\left(s_1^3+3s_1s_2+2s_3\right) $$

The reusable statement

The two-row display is also a debugging tool: if the conclusion changes when only notation changes, some hidden choice has entered the argument.

$$ \begin{aligned} \mathsf{D}\;&:\quad c_i(g)=\#\{\text{cycles of length }i\text{ in }g\},\\[5pt] \mathsf{C}\;&:\quad Z_G(s_1,s_2,\ldots)=\frac1{|G|}\sum_{g\in G}\prod_{i\ge1}s_i^{c_i(g)}. \end{aligned} $$

A nearby false statement

Burnside counts orbits under the specified group only. Adding reflections changes necklaces into bracelets and requires a different cycle index.

$$ \boxed{\begin{gathered} \text{compact conclusion}\\[-2pt] Z_G(s_1,s_2,\ldots)=\frac1{|G|}\sum_{g\in G}\prod_{i\ge1}s_i^{c_i(g)} \end{gathered}} $$

A symbolic summary is trustworthy only because the example and limitation remain visible beside it. The box compresses the conclusion without hiding its origin.

This article was posted on Mon 19 January 2026. Facts and circumstances may have changed since publication.
Please contact me before jumping to conclusions if something seems wrong or unclear.