I'm having trouble getting my intuition pumping and the details in my head on the Jacobson radical (intersection of maximal ideals or intersection of annihilators of simple modules). What I'm interested in showing is the following:
$$rad R/U = (rad R)/U$$
where $U$ is an ideal contained in $radR$. That is, an ideal contained in every maximal left ideal. It seems intuitive to me. For if, $U$ is contained in every maximal left ideal, then it annihilates every simple module of $R$. So, when we peel that stuff out of the radical it should be the same as modding it out of the ring in the first place but I'm having trouble with the specific details.
Further, from here we wish to conclude that $R$ and $R/radR$ have the same simple modules. It is clear that a simple module for $R$ is certainly a module for $R/radR$. But showing that it is simple just because I removed it's annihilator is unclear to me. Any help is appreciated. Thanks! A somewhat relevant post
Here is all you need:
Judging from what you've written, you're aware of at least part of this, but it looks like you might not see the ramifications.
If $N$ is an $R$ submodule of $M$ and $I$ annihilates $M$, then $I$ also clearly annihilates $N$. Therefore $N$ is also an $R/I$ submodule of the $R/I$ module $M$. You see, the submodules of an $R$ module annihilated by $I$ correspond with the $R/I$ submodules exactly.
Therefore if $M$ is a simple $R$ module annihilated by $I$, it is a simple $R/I$ module as well. That's why we say the simple modules of $R$ and $R/I$ are the same whenever $I\subseteq J(R)$.
Another heuristic: by being contained in $J(R)$, $R$ and $R/I$ have "the same maximal ideals" (they correspond exactly) and so they should have the same set of quotients by maximal ideals (simple modules.)