Group representation theory MOC
Abelian representation
An abelian representation
Main theorem
A representation
Proof
If
then it is immediately abelian since there exists a reΓ€lization in which matrices are simultaneously diagonal, and hence commute. Conversely, Let Ξ β β¨ π β Λ π΄ π π π π be the decomposition of π = β¨ π π into irreducible invariant subspaces. Since π is abelian in each of these subspaces, the irrep carried thereby they must be 1-dimensional. Hence Ξ is the direct sum of 1-dimensional irreps. Ξ