Results 1 to 4 of 4

Thread: [SOLVED] the set of zero-divisors of a ring

  1. #1
    Junior Member
    Joined
    Jan 2010
    Posts
    69
    Thanks
    3

    [SOLVED] the set of zero-divisors of a ring

    let $\displaystyle R$ be a non-commutative ring, and define $\displaystyle D(R)$ to be the set of zero-divisors of the ring . Suppose that $\displaystyle z^2=0$ , for any $\displaystyle z \in D(R)$ . Prove that $\displaystyle D(R)$ is an ideal of $\displaystyle R$.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member
    Joined
    Feb 2008
    Posts
    410
    [edit: sorry for the error]
    Last edited by hatsoff; Mar 19th 2010 at 02:16 PM.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor
    Opalg's Avatar
    Joined
    Aug 2007
    From
    Leeds, UK
    Posts
    4,041
    Thanks
    10
    Quote Originally Posted by xixi View Post
    let $\displaystyle R$ be a non-commutative ring, and define $\displaystyle D(R)$ to be the set of zero-divisors of the ring. Suppose that $\displaystyle z^2=0$ , for any $\displaystyle z \in D(R)$. Prove that $\displaystyle D(R)$ is an ideal of $\displaystyle R$.
    Unfortunately, hatsoff's argument only works in the commutative case. In a noncommutative ring, $\displaystyle a^2-b^2\ne (a+b)(a-b)$ in general.

    However, it is true that if $\displaystyle a,b\in D(R)$ then $\displaystyle (a+ab)(a-ba) = 0$. If you multiply $\displaystyle a+ab$ on the left by $\displaystyle a$ or on the right by $\displaystyle a-ba$, you get 0. Provided that both $\displaystyle a$ and $\displaystyle a-ba$ are nonzero, that says that $\displaystyle a+ab\in D(R)$ and hence $\displaystyle (a+ab)^2=0$. Therefore $\displaystyle aba+abab=0$ (and that result trivially also holds if $\displaystyle a$ or $\displaystyle a-ba$ is 0).

    A similar argument, with $\displaystyle a+ab$ and $\displaystyle a-ba$ interchanged, shows that $\displaystyle aba-baba=0$. Together with the previous result, that gives $\displaystyle abab+baba=0$. But then $\displaystyle (a+b)^4=0$, so $\displaystyle a+b\in D(A)$.

    That shows that D(R) is closed under addition. For the other property of an ideal, if $\displaystyle a\in D(R)$ and $\displaystyle r\in R$ then clearly $\displaystyle a(ar)=0$. But I cannot see any reason why (in a nocommutative ring) there should exist a nonzero element c such that $\displaystyle arc=0$. All I can conclude is that in the ring R, the set of left zero-divisors is a right ideal, and the set of right zero-divisors is a left ideal.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Junior Member
    Joined
    Jan 2010
    Posts
    69
    Thanks
    3

    thanks

    thanks very much , you have already proved it ,as you have showed if $\displaystyle a \in D(R)$ and $\displaystyle r \in R$ then $\displaystyle a(ar)=0$ which means that $\displaystyle ar \in D(R)$ and this shows that $\displaystyle D(R)$ is a right ideal . we also have $\displaystyle ra(a)=0 \Longrightarrow ra \in D(R)$ which shows that $\displaystyle D(R)$ is a left ideal and therefore $\displaystyle D(R)$ is an ideal. (note that here $\displaystyle D(R)$ is the set of left and right zero-divisors together and not just the two-sided ones.)
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. A commutative Ring R has no zero divisors
    Posted in the Advanced Algebra Forum
    Replies: 8
    Last Post: Aug 1st 2011, 07:04 AM
  2. A Ring's zero-divisors
    Posted in the Advanced Algebra Forum
    Replies: 7
    Last Post: Sep 29th 2010, 01:34 PM
  3. [SOLVED] Sum of divisors
    Posted in the Math Challenge Problems Forum
    Replies: 3
    Last Post: May 18th 2010, 05:03 PM
  4. Ring problem with zero divisors
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: May 8th 2010, 01:46 PM
  5. Zero Divisors in Polynomial Ring
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: Apr 17th 2007, 12:36 PM

Search Tags


/mathhelpforum @mathhelpforum