Welcome to MathOverflow

Question

5

2

Is there a relation between the idempotent elements of a ring $R$ and those of $M_{n}(R)$ - the ring of $n \times n$ matrices over $R$?

edited Nov 25 at 21:20

J. H. S.
2,485●13●31

asked Nov 25 at 20:28

Ali
216●8

Chris Heunen · Answer 1 · 2012-11-26 05:54:26Z UTC

Any idempotent $e$ of $R$ induces an idempotent $E=\mathop{diag}(e,\ldots,e)$ of $M_n(R)$. In fact, if $e_i$ are idempotents in $R$, then $E=\mathop{diag}(e_1,\ldots,e_n)$ is an idempotent of $M_n(R)$.

Conversely, if $R$ is nice enough, an idempotent $E$ in $M_n(R)$ can be diagonalized to $E=U^{-1} \cdot \mathop{diag}(e_1,\ldots,e_n) \cdot U$ for some $U \in M_n(R)$ and idempotents $e_i$ in $R$.

Of course, this relies crucially on $R$ being nice enough. One sufficient "nicety" condition is that $R$ is an AW*-algebra; see for example this paper.

Ray Hoobler · Answer 2 · 2012-11-25 22:12:42Z UTC

1

Yes. You can see the relationship easily in the following way. Suppose the ring $R=R_1\times R_2$ so that there are two primitive idempotents $e_1$ and $e_2$ with $1=e_1 +e_2$. Next note that $M_n(R)\approxeq Hom_R(R^n,R^n)$. Then $M_n(R)\approxeq Hom_{R_1\times R_2}((R_1\times R_2)^n,(R_1\times R_2)^n)\approxeq Hom_{R_1}(R_1^n,R_1^n)\times Hom_{R_2}(R_2^n,R_2^n) $ since $e_1 \centerdot Hom_{R_2}(R_2^n,R_2^n)=0$ and similarly for $e_2$. Thus idempotents are calculated relative to each factor in the ring decomposition.

answered Nov 25 at 22:12

Ray Hoobler
221●1●4

2

I think you answered a question different from the one asked ;-) – Mariano Suárez-Alvarez Nov 25 at 23:00

Dear Ray, Thank you very much of your answer. If we have idempotent of $R$ then it is easy to generated for $M_{n}(R)$, But i want to construct idempotent for $R$, if we have idempotent of $M_{n}(R)$. so the above proof is not useful for me, – Ali Nov 26 at 4:19

1

Hi.Let $F$ be an infinite field, then there exist infinitely many distinct pair $(I,J)$ of minimal left ideals of $M_2(F)$ such that $M_2(F)=I \oplus J$. so this shows that in this case $F$ has only two trivial idempotent, But $M_2(F)$ has infinitely many nontrivial idempotent. you could find this point at exercise [11.b] page 443 of Hubgerford. So I think you should determine the property of your ring$R$ which entries of matrix ring come from it. – AliReza Olfati Nov 26 at 5:59

Ok. But in local ring we have no problem. See Lemma 7 in the paper Journal of Algebra 301 (2006) 280–293, when is 2x2 matrix ring over a commutative local ring are strongly clean. – Ali Nov 26 at 9:19

Dear friends. Let me ask my quedtion in another case. If $J$ is an ideal of $M_{n}(R)$ then there is an ideal $I$ of $R$ such that $J=M_{n}(I)$. Now, if $J$ is generated by a subset of idempotent of $M_{n}(R)$ say $S$, does $I$ is generated by a subet of idempotent of $R$ relatesd to $S$. – Ali Nov 26 at 10:37

show 1 more comment

Idempotent elements in matrix ring

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

2 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.