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.