MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $R,S,T$ be (associative, with a 1) rings, and $m,n,r,s$ be non-negative integers.


(a) $R$ is isomorphic to $M_{m\times m}(T)$ and $S$ is isomorphic to $M_{n\times n}(T)$ and $m\cdot r = n\cdot s$
(b) $R$ and $S$ both have exactly one element

then $M_{r\times r}(R)$ is isomorphic to $M_{s\times s}(S)$.

Based on the last comment on Tom Goodwillie's answer to my earlier question, (a) and (b) apparently do not exhaust the cases in which $M_{r\times r}(R)$ is isomorphic to $M_{s\times s}(S)$.

What are examples to show that? Can they be finite?

Is there a relatively simple exhaustion of when $M_{r\times r}(R)$ is isomorphic to $M_{s\times s}(S)$ in terms of $R,S,r,s$? What if $R$ and $S$ are assumed to be finite?

share|cite|improve this question
You can take $R$ to be the column finite, row finite matrices. Then all of its matrix rings are isomorphic to it. – Mariano Suárez-Alvarez Jan 9 '11 at 4:03
Off-topic, but since your profile has no contact details: you may or may not want to respond to remarks following your comment at – Yemon Choi Jan 16 '11 at 4:24
Thanks, I just did. (I'd completely forgotten about that question.) – Ricky Demer Jan 17 '11 at 5:31

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.