每日定理5
Isaacs, $\textit{Character Theory of Finite Groups}$, Theorem(1.10)
Let $V$ be an $A$-module. Then $V$ is completely reducible iff it is a sum of irreducible submodules.
SRE实战 互联网时代守护先锋,助力企业售后服务体系运筹帷幄!一键直达领取阿里云限量特价优惠。Pf: Sufficiency $(\Leftarrow)$
- $V=\sum V_{\alpha}$ and $W\subseteq V$
- Choose $U\subseteq V$ maximal such that $W\cap U=0$
- Prove $V=W\oplus U$
Necessity $(\Rightarrow)$
- Let $S$ be the sum of all the irreducible submodules of $V$
- Prove by contradiction
Remark: Every $A$-module contains an irreducible submodule.

更多精彩