# About commutative ring with identity

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$.

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}$.

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