In a Noetherian local ring every ideal is a power of the Jacobson radical

553 Views Asked by At

enter image description here

I want to prove that for $R$ a commutative Noetherian local ring, if the Jacobson radical $J$ is nilpotent then $R$ is Artinian.

My question comes from these lecture notes where the comment in the bracket confuses me. I want to use the fact that in a commutative Noetherian ring, $\bigcap_{k=1}^{\infty} J^k=0 $ and show that $R,J,J^2,\dots, J^s=0 $ are all the ideals in $R$. But how can I show that every ideal is a power of the Jacobson radical?

1

There are 1 best solutions below

2
On

But how can I show that every ideal is a power of the Jacobson radical?

You can't, because that would imply the ideals of the ring are linearly ordered, which of course may not be the case.

Here is the DaRT search showing at least two commutative, local, Noetherian, non-uniserial rings.

To make progress on the problem, I suggest taking the chain of powers of the radical and working out that there must be a finite composition series. That would imply the ring is Artinian.


Another way to do it, if you know a commutative zero dimensional Noetherian ring is Artinian, is to note that $J$ is a nilpotent maximal ideal, and hence can be the only prime ideal in the entire ring. Consequently, the ring is zero dimensional.