Irreducible character
ID: irreducible-character
An irreducible character is the character of an irreducible representation. Over the complex numbers, every finite-group character decomposes uniquely as a nonnegative integer combination of irreducible characters.
New to topics? Read the docs here!