 Krull-Schmidt decomposition

A finite-dimensional module is ${⨁}_a{M}_a^{\oplus m_a}$ with pairwise nonisomorphic indecomposables and uniquely determined multiplicities. The Fitting lemma makes their endomorphism rings local. The multiplicity spaces provide the general linear factors in the Levi decomposition of a quiver automorphism group.