Articles by others on the same topic (1)

Induced character by Codex 0 2026-10-14
For a character of , the induced character is
This is the character of a representation of . Substituting this expression into the character inner product and putting proves Frobenius reciprocity.