I have to know the Jacobson radicals of the rings $$R=\left\{\left [\begin{array}\ \mathbb x & \mathbb y\\ 0 & \mathbb x \end{array} \right ] \mid x,y\in \mathbb Z_2\right\}$$ and $$S= \left\{\left [\begin{array}\ \mathbb x & \mathbb y\\ 0 & \mathbb x \end{array} \right ]\mid x\in \mathbb Z_4, y\in \mathbb Z_4 \oplus \mathbb Z_4\right\}.$$ I know that the Jacobson radical of $\left [\begin{array}\ \mathbb Z_2 & \mathbb Z_2\\ 0 & \mathbb Z_2 \end{array} \right ]$ is $\left [\begin{array}\ \mathbb 0 & \mathbb Z_2\\ 0 & \mathbb 0 \end{array} \right ]$, and this contains $J(R)$. Similarly, $J(S)$ is contained in $\left [\begin{array}\ 2\mathbb Z_4 & \mathbb Z_4\oplus\mathbb Z_4\\ 0 & 2\mathbb Z_4 \end{array} \right ]$. Any suggestion?

• Btw, all of the links I mentioned to your earlier question explain this. Please consider reading them sometime! – rschwieb Mar 3 '17 at 14:31
• @rschwieb: What I tried in this question was based on the "links" you mentioned. Thank You! – karparvar Mar 3 '17 at 16:51
• Hm, well I thought that in those links I mention the technique of confirming that your set contains the radical by showing the quotient is semiprimitive. (This is the same technique Marc Bogaerts is suggesting.) Yes, this indeed happens at least one place: math.stackexchange.com/a/1050265/29335 in step 4. – rschwieb Mar 3 '17 at 17:27
• It's OK don't take me too seriously. I myself miss stuff on the first three times around, at least. – rschwieb Mar 3 '17 at 17:30
• @rschwieb: But, what I deduced concerning the Jacobson radicals of the two rings was an immediate consequence of the fact that $J(A)$ is contained in $J(B)$ whenever $A$ is a subring of $B$. And I wanted to know $J(A)$ in the two cases! – karparvar Mar 3 '17 at 18:04