Irreducible character (source code)

= 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.