Classification of finite-dimensional representations of SU2 (source code)

= Classification of finite-dimensional representations of SU2

Every finite-dimensional complex $SU_2$-representation is a direct sum of the pairwise nonisomorphic irreducibles $V_n=\operatorname{Sym}^n(\mathbb C^2)$.