where \operatorname{Hom}_{\text{equiv}} refers to the equivariant linear maps. Also, each m_i is unchanged if V_i is replaced by another simple representation isomorphic to V_i. Thus, the integers m_i are independent of chosen decompositions; they are the multiplicities of simple representations V_i, up to isomorphisms, in V.
