The character of a permutation representation at equals the number of points fixed by , because a permuted basis vector contributes one to the trace exactly when it is fixed. Thus the character inner product isTo identify the last average, count pairs with . Each orbit contributes , since its number of elements times their common stabilizer size is by the orbit-stabilizer theorem. ThereforeThe conjugation in the usual character inner product has no effect here because the permutation characters are real-valued.
Articles by others on the same topic
There are currently no matching articles.