Simple $M_n(D)$-module with $D$ a division ring

The answer is that "yes, $M$ is isomorphic to $I_j$ (for any $j$!), but it is not necessarily 'induced' by a projection $R\to M$."

Given any simple left module $S$, a projection $\phi: R\to S$ turns into an isomorphism $R\ker\phi\cong S$. Where $\ker\phi$ is a maximal left ideal of $R$. Since $R$ is semisimple, $R\cong \ker\phi\oplus N$ where $N$ is a left ideal of $R$. So $S\cong R/\ker\phi=(N\oplus\ker\phi)/\ker\phi\cong N$.

This shows that every simple left module appears as a minimal left ideal of $R$. But $N$ need not be one of the $I_j$. For example, $N$ could be the set of matrices which have an arbitrary first column, the second column identical with the first, and the rest of the columns zero. There are lots of other simple left ideals of $R$ other than the $I_j$.

To prove that all simple left $R$ modules are mutually isomorphic, we can use this

Lemma: For a fixed minimal left ideal $N<R$, the sum $I_N=\sum\{N'<R\mid N\cong N'\}$ is an ideal of $R$ ($N'$ denotes a left ideal, of course.) Furthermore, if $L$ is another minimal left ideal which is nonisomorphic to $N$, then $I_L\cap I_N=\{0\}$.

Since $R$ is simple, only one such $I_N$ can exist, and that means there is only one isotype of simple left $R$ module. That is why all of the $I_j$ in your original post are mutually isomorphic, and indeed every other simple left $R$ module you find is going to be isomorphic to these also.


$R=M_n(D)$ the $n\times n$ matrix ring over $D$.
$I_j$ is the subring of $R$ all of whose columns except the $j$-th are zero.

There is another way to prove that any simple left $R$-module is isomorphic to $I_1$.

  • First, we show that any simple left $R$-module is isomorphic to some simple left $R$-submodule of $_RR$ (equivalently, minimal left ideal of $R$).

  • Second, we show that any simple left $R$-submodule of $_RR$ is isomorphic to $I_1$ .

For the first part: let $S$ be a simple left $R$-module. One can check that $S$ is cyclic and say $x$ is its generator. It's easy to construct a non-zero epimorphism $R \to Rx = S$. Since $R$ is semisimple, the epimorphism splits.(See Corollary 13.10 in Rings and Categories of Modules 2ed) Hence $S$ is isomorphic to some simple left $R$-submodule of $_RR$.

For the second part: let $T$ be a simple left $R$-submodule of $_RR$. Since $T\ne0$, there must exist some integer $w$ and matrix $A \in T$ such that the $w$-th colunm of $A$ is not $0$. Without lose of generality, let's say $w = 1$. Then we construct a non-zero $R$-module homorphism $T \to I_1$ with all columns except the $1$st are changed to $0$. By Schur's lemma, $T \cong I_1$.