Reducibility of representations
A (unitary) representation
- irreducible iff
has no non-trivialπ -Invariant subspace. See IrrepΞ - reducible iff
has at least one non-trivialπ -Invariant subspace, thus carrying a subrepresentation repΞ - completely reducible iff
can be written as the direct sum of irreps. repΞ
Properties
- A unitary representation is an irrep iff it is not the direct sum of nontrivial representations.
- Character irreducibility criterion