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!