14
$\begingroup$

Let $R$ be an Artinian Ring and suppose there exists $a,b\in R$ s.t. $I=aR=Rb$, then prove $I=bR=Ra$. (You may assume that a right Artinian Ring is Right Noetherian).

I've managed to get $Ra$, $bR$ contained in $I$ without using the fact that it's Artinian. The hint confuses me because I'm not sure how to make a useful ascending chain to use the fact that it's right Noetherian.

  • 0
    Does the ring $R$ have unity?2012-04-26
  • 0
    yes it does have unity2012-04-26
  • 0
    @Arturo Maybe I´m missing something. But how can you conclude $a=bu$? It seems to me that you only have $a=ub$, and you need somehow to prove that $bR$ is a two-sided ideal to get the conclusion. (In specific the Artinianity hypothesis is missing or well hidden...)2012-04-26
  • 0
    @Giovanni: I got some wires crossed. Sorry.2012-04-26
  • 0
    Before you go any further looking for ascending and decending chains, see if you can't make use of the *maximal condition* and/or *minimal condition* first.2012-04-28
  • 0
    I still can't seem to get anything (and also I don't know how to type maths symbols), my exam is in a few days, if anyone knows the answer please tell me2012-04-29

1 Answers 1

1

By symmetry, it's enough to show that $aR = bR$.

Since $R$ is right Artinian, it is right Noetherian. So $R$ has a finite length as a right $R$-module: it has a finite composition series. By the Jordan-Holder theorem, the length $l(M)$ of any composition series of any finite length module $M$ is well-defined (does not depend on the choice of composition series), and satisfies $l(M) = l(N) + l(M/N)$ whenever $N$ is a submodule of $M$.

Now $I = Rb = aR$ so $a \in Rb$ and $b \in aR$. Thus there are $x,y \in R$ such that $a = xb$ and $b = ay$. Hence $bR = ayR \subseteq aR$. Also $bu = 0$ implies $au = xbu = 0$, so the right annihilator $rann(b)$ of $b$ is contained in $rann(a)$.

Thus $l(bR) \leq l(aR)$ and $l(rann(b)) \leq l(rann(a))$.

By the first isomorphism theorem for modules, we know that $aR \cong R / rann(a)$ and $bR \cong R / rann(b)$, so

$l(aR) + l(rann(a)) = l(R) = l(bR) + l(rann(b))$.

Hence $0 \leq l(aR) - l(bR) = l(rann(b)) - l(rann(a)) \leq 0$.

Therefore $l(aR) = l(bR)$ and $aR = bR$.

  • 0
    Very nice! I thought about this some time ago and never considered annihilators.2014-01-05
  • 0
    Thanks. The hint given isn't very helpful! I wonder if it's true if $R$ is only assumed to be Noetherian; do you perhaps know a counterexample?2014-01-05
  • 0
    Konstantin, I was finally able to think about your question. Much to my surprise, I believe that it may in fact be true for (right) Noetherian rings! In your notation above, notice that left multiplication by $x$ defines an endomorphism of the right module $I=aR$ because it is also a left ideal. This map is surjective since $a = xb = xay$. If $R$ is right Noetherian, then $aR$ Hopfian, whence this surjection is an automorphism. But notice that the submodule $bR \subseteq aR$ also maps onto the image $aR$ as $a = xb$. By injectivity, we must have $bR = aR$. Can it really be true?2014-02-19
  • 0
    Yes, I think it works. Great!2014-02-19