4
$\begingroup$

Consider a finite ring $R$ with identity. If every left ideal of $R$ is two-sided then is it true that any right ideal of $R$ is also two-sided !?

$\endgroup$
2
  • 1
    $\begingroup$ My gut says this must be true. The only examples of rings where things like this fail to be true (that I know of anyway) are those constructed by Jategaonkar using large cardinal axioms (discussed late in Chapter 5 of Lam's Lectures on Modules and Rings). So for finite rings I can't imagine examples like that. In fact, I'm guessing the full answer is in that book, and may be known for any Noetherian ring $R$. Some other places large cardinal axioms pop up in homological algebra are discussed here: mathoverflow.net/questions/68436/… $\endgroup$ Dec 30, 2012 at 0:26
  • 1
    $\begingroup$ @David White: The problem is not true even for Artinian rings. K. Asano has constructed an Artianian ring such that every left ideal is two-sided but not every right ideal is two-sided. $\endgroup$
    – user30230
    Dec 30, 2012 at 6:59

1 Answer 1

11
$\begingroup$

Yes. For each $x\in R$ let $a(x)$ and $b(x)$ be the number of $y$ such that $xy=0$ and the number of $y$ such that $yx=0$, respectively. These are also the orders of the groups $R/xR$ and $R/Rx$.

For every $x$ the left ideal $Rx$ is a right ideal containing $x$ and therefore contains $xR$, whence $b(x)\le a(x)$. On the other hand the sum of $a(x)$ over all $x$ is clearly the same as the sum of $b(x)$ (both are the number of pairs $(x,y)$ such that $xy=0$). Therefore $a(x)=b(x)$ and $Rx=xR$. This shows that $xR$ is a left ideal for every $x$, and it follows that every right ideal is a left ideal.

$\endgroup$
3
  • 1
    $\begingroup$ @Tom: I am afraid the argument is not right. How do you conclude that the sum of all $a(x)$'s and the sum of all $b(x)$'s are equal ?! $\endgroup$
    – user30230
    Apr 22, 2013 at 18:36
  • $\begingroup$ I gave the reason. $\endgroup$ Apr 23, 2013 at 0:00
  • $\begingroup$ Let $C$ be the set of all ordered pairs $(x,y)\in R\times R$ such that $xy=0$. Then $|C|$ is the sum, over all $x\in R$, of $|A(x)|$. On the other hand $C$ is also the sum, over all $y\in R$, of $|B(y)|$. $\endgroup$ Apr 23, 2013 at 11:32

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.