Let $R$ be an infinite commutative ring. Which of following options is false?

  1. Center of $M_2(R×R)$ is nontrivial.

  2. $ M_2(R×R) \cong M_2(R)×M_2(R)$

  3. The number of units in $M_2(R ×R)$ is infinite.

  4. The number of two-sided ideals in $M_2(R ×R)$ maybe are finite.

Now "1" is true because every diagonal matrix is in center of this ring.

"4" is true because :

Theorem: every two-sided ideal of $M_n(R)$ has the form $M_n(I)$ for some unique two-sided ideal $I$ of $R$.

  1. Your reasoning is correct.

  2. Your argument is not quite correct. One can use the following, for a commutative ring $R$ with $1$ and $A$ an $R$-algebra -

$$M_n(R) \otimes A \simeq M_n A$$

Note that the above is in fact an $R$-algebra isomorphism. Now let $A = R^2$ and use the commutativity of tensor products with direct sums.

  1. Coupled with (2), this follows from the fact that $M_2 R$ has infinitely many units provided $R$ is infinite. Note that this does not depend upon the number of units in $R$.

  2. This is true. In fact one can prove that $M_2(\mathbb{F}^2)$ has only 3 proper ideals for any field $\mathbb{F}$.

  • $\begingroup$ I can't understand your reasons for "2". thanks. $\endgroup$ – amir bahadory Jun 3 '16 at 14:53
  • $\begingroup$ Can you tell me where you are having difficulties? $\endgroup$ – Hmm. Jun 3 '16 at 15:16
  • $\begingroup$ Got it . Thanks. $\endgroup$ – amir bahadory Jun 3 '16 at 15:33
  • $\begingroup$ Glad to help :) $\endgroup$ – Hmm. Jun 3 '16 at 17:23

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.