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.