Character norm of a permutation representation (source code)

= Character norm of a permutation representation

If $\pi$ is the character of $\mathbb C[X]$, then <Burnside lemma> applied to the diagonal action on $X\times X$ gives
$$
\langle\pi,\pi\rangle_G
=\frac1{|G|}\sum_{g\in G}|X^g|^2
=|G\backslash(X\times X)|.
$$
For a transitive action $X\simeq G/H$, this also equals the number of <double cosets> in $H\backslash G/H$.