irreducible representation

Definition

A group representation is called irreducible if the only subrepresentations are and .

Decomposition into irreducible representations

Every compact group representation can be decomposed into a direct sum of irreducible sub-representations.

Proof

todo