[Math] Ideal of nilpotent elements in non-commutative ring.

abstract-algebranoncommutative-algebraring-theory

Let $R$ be a non-commutative ring such that every element is either invertible or nilpotent. I am trying to show that the set of nilpotent elements, denoted $I$, is a two sided ideal, but I am having problems with showing that the sum of two nilpotent elements is nilpotent.

Note that we cannot use the binomial theorem, since we are dealing with a noncommutative ring. Can someone provide me with a tip?

Thank you in advance.

I proved that the product is nilpotent by noting that if $0\neq x\in I$ and $y\in R$ with $x^n=0$, assuming that $xy$ is invertible we get $x^{n-1} = x^{n-1}xy(xy)^{-1} = 0$, which by induction would lead to $x=0$, which is a contradiction.

Best Answer

Let $x\in R$ be nilpotent and $r\in R$ be arbitrary. If $xr$ is not nilpotent, it is invertible, so $xr(xr)^{-1}=1$ and therefore $x$ is right invertible. This is impossible, because from $x^n=0$ and $xy=1$ we get $x^{n-1}=0$, leading to a contradiction.

Similarly, $rx$ is nilpotent.

Suppose $x$ and $y$ are nilpotent, but $z=x+y$ is invertible. Then $$ (x+y)z^{-1}=1 $$ and so $$ xz^{-1}=1-yz^{-1} $$ By what we have proved before, we know that $yz^{-1}$ is nilpotent. However, when $a\in R$ is nilpotent, $1-a$ is invertible; indeed, assuming $a^{n+1}=0$, we have $$ (1-a)(1+a+\dots+a^{n})=1-a^{n+1}=1 $$ and similarly on the other side. Therefore $xz^{-1}$ is invertible. Contradiction.

Related Question