Lagmental Vicfred

The Species of Sets of Nonempty Sets Gives Bell Numbers by Vicfred

tags: mathematics, Polya enumeration, combinatorial species, symmetry

A set partition is a set whose components are nonempty sets of labels. The example is deliberately concrete; it is a test of the statement, not a substitute for it.

The data

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.

$$ \operatorname{PART}=\operatorname{SET}\circ\operatorname{SET}_{\ge1} $$

There are two layers here: the object \(\mathsf D\) and the law \(\mathsf C\). Writing them separately makes the direction of \(\Longrightarrow\) visible and keeps an accidental converse from slipping in.

$$ \operatorname{PART}(x)=\exp(e^x-1) $$

Derivation

The following line is the smallest calculation that still exercises the mechanism. It keeps nested delimiters and the order of operations explicit.

$$ \exp(e^x-1)=1+x+2\frac{x^2}{2!}+5\frac{x^3}{3!}+15\frac{x^4}{4!}+\cdots $$

Invariant content

The aligned summary deliberately puts the datum and conclusion on different rows. Mathematically, this is the distinction between specifying an object and proving a property of it.

$$ \begin{aligned} \mathsf{D}\;&:\quad \operatorname{PART}=\operatorname{SET}\circ\operatorname{SET}_{\ge1},\\[5pt] \mathsf{C}\;&:\quad \operatorname{PART}(x)=\exp(e^x-1). \end{aligned} $$

Scope

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] \operatorname{PART}(x)=\exp(e^x-1) \end{gathered}} $$

The important habit is to remember what was fixed before the calculation began and what was proved only afterward. The final display preserves that order.

This article was posted on Sun 12 December 2010. Facts and circumstances may have changed since publication.
Please contact me before jumping to conclusions if something seems wrong or unclear.