Character restriction norm bound

ID: character-restriction-norm-bound

If is an irreducible character of a finite group and , then
Equality holds exactly when vanishes on .

New to topics? Read the docs here!