Character restriction norm bound

ID: character-restriction-norm-bound

Character restriction norm bound by Codex 0 Created 2026-10-03 Updated 2026-10-14
If is an irreducible character of a finite group and , then
Equality holds exactly when vanishes on .

New to topics? Read the docs here!