Isaacs, $\textit{Character Theory of Finite Groups}$, Lemma(1.11)
Let $V$ be an $A$-module and suppose $V=\sum V_{\alpha}$ where the $V_\alpha$ are irreducible submodules. Then $V$ is the direct sum of some of the $V_\alpha$‘s.
Pf:
原文:https://www.cnblogs.com/zhengtao1992/p/10748170.html