Let \(R\) be a ring. An \(R\)-module \(M\) is semisimple if there is a family \((M_j)_{j\in J}\) of simple submodules of \(M\) with \[ M = \bigoplus_{j\in J} M_j. \]
Semisimple modules
D-CYAJI
D-CYAJI
Let \(R\) be a ring. An \(R\)-module \(M\) is semisimple if there is a family \((M_j)_{j\in J}\) of simple submodules of \(M\) with \[ M = \bigoplus_{j\in J} M_j. \]