Positive-degree norm-one virtual characters are irreducible

ID: positive-degree-norm-one-virtual-characters-are-irreducible

Write the virtual character as with integer coefficients and irreducible characters . Character orthogonality gives . Norm one forces exactly one coefficient to be or , and positive degree selects the positive sign.

New to topics? Read the docs here!