# Why are Artinian rings of Krull dimension 0?

Why are Artinian rings of Krull dimension 0?

As in the example of $\mathbb{Z}/(6)$, the ideal $\mathbb{Z}/(2)$ is prime, I think. So, Artinian rings may contain prime ideals. But why does not the primes ideal contain other prime ideals properly?

Another question is that, when a ring is of Krull dimension 0, is it necessarily Artinian?

Thanks.

-

The following proof that any artinian ring $R$ has $\text{dim}(R)=0$ is from Theorem 8.1 of Atiyah Macdonald:

Let $\frak{p}$ be a prime ideal of $R$, so that $S=R/\frak{p}$ is an artinian domain (this is because any infinite descending chain of ideals in $S$ could be lifted to an infinite descending chain of ideals in $R$, so because $R$ is artinian, $S$ must be artinian too). For any non-zero $x\in S$, we must have that $(x^n)=(x^{n+1})$ for some $n$ (this is because $S$ is artinian, so we can't have an infinite descending chain $S\supset (x)\supset (x^2)\supset\cdots$), hence $x^n=x^{n+1}y$ for some $y\in S$, but because $S$ is a domain, we can cancel to get $1=xy$, hence $x$ is invertible. Any non-zero element of $S$ is invertible, hence $S=R/\frak{p}$ is a field, hence $\frak{p}$ is maximal. Because any prime ideal of $R$ is maximal, we must have that $\text{dim}(R)=0$.

Theorem 8.5 of Atiyah Macdonald says that $R$ is artinian $\iff$ $R$ is noetherian and $\text{dim}(R)=0$.

So here is an example of a ring $R$ with $\text{dim}(R)=0$ but $R$ not noetherian, and hence not artinian:

$$R=k[x_1,x_2,\ldots]/(x_1,x_2,\ldots)^2\cong k[\epsilon_1,\epsilon_2,\ldots]$$ which is a field $k$ with infinitely many nilpotent elements $\epsilon_i$ added in. There's only one prime ideal of $k$, namely the 0 ideal, and nilpotents won't change that, so the 0 ideal is still the only prime ideal of $R$, but $R$ is certainly not noetherian - the chain of ideals $$(0)\subset (\epsilon_1)\subset(\epsilon_1,\epsilon_2)\subset\cdots$$ is an infinite ascending chain.

-
My algebra professor proved 8.5 in class just the other day. Funny I should run into it so soon. –  Alex Becker Mar 16 '11 at 6:22
HINT $\$ By factoring out a prime ideal it reduces to showing that an Artinian domain is a field, which follows immediately by DCC.