Permutation representation (source code)

= Permutation representation
{wiki}

For a finite $G$-set $X$, the character of $\mathbb C[X]$ at $g$ is $|X^g|$. Its invariant dimension is the number of $G$-orbits.