The Stacks project

\begin{equation*} \DeclareMathOperator\Coim{Coim} \DeclareMathOperator\Coker{Coker} \DeclareMathOperator\Ext{Ext} \DeclareMathOperator\Hom{Hom} \DeclareMathOperator\Im{Im} \DeclareMathOperator\Ker{Ker} \DeclareMathOperator\Mor{Mor} \DeclareMathOperator\Ob{Ob} \DeclareMathOperator\Sh{Sh} \DeclareMathOperator\SheafExt{\mathcal{E}\mathit{xt}} \DeclareMathOperator\SheafHom{\mathcal{H}\mathit{om}} \DeclareMathOperator\Spec{Spec} \newcommand\colim{\mathop{\mathrm{colim}}\nolimits} \newcommand\lim{\mathop{\mathrm{lim}}\nolimits} \newcommand\Qcoh{\mathit{Qcoh}} \newcommand\Sch{\mathit{Sch}} \newcommand\QCohstack{\mathcal{QC}\!\mathit{oh}} \newcommand\Cohstack{\mathcal{C}\!\mathit{oh}} \newcommand\Spacesstack{\mathcal{S}\!\mathit{paces}} \newcommand\Quotfunctor{\mathrm{Quot}} \newcommand\Hilbfunctor{\mathrm{Hilb}} \newcommand\Curvesstack{\mathcal{C}\!\mathit{urves}} \newcommand\Polarizedstack{\mathcal{P}\!\mathit{olarized}} \newcommand\Complexesstack{\mathcal{C}\!\mathit{omplexes}} \newcommand\Pic{\mathop{\mathrm{Pic}}\nolimits} \newcommand\Picardstack{\mathcal{P}\!\mathit{ic}} \newcommand\Picardfunctor{\mathrm{Pic}} \newcommand\Deformationcategory{\mathcal{D}\!\mathit{ef}} \end{equation*}

Lemma 10.59.4. A Noetherian ring of dimension $0$ is Artinian. Conversely, any Artinian ring is Noetherian of dimension zero.

Proof. By Lemma 10.30.5 the space $\mathop{\mathrm{Spec}}(R)$ is Noetherian. By Topology, Lemma 5.9.2 we see that $\mathop{\mathrm{Spec}}(R)$ has finitely many irreducible components, say $\mathop{\mathrm{Spec}}(R) = Z_1 \cup \ldots Z_ r$. According to Lemma 10.25.1, each $Z_ i = V(\mathfrak p_ i)$ with $\mathfrak p_ i$ a minimal ideal. Since the dimension is $0$ these $\mathfrak p_ i$ are also maximal. Thus $\mathop{\mathrm{Spec}}(R)$ is the discrete topological space with elements $\mathfrak p_ i$. All elements $f$ of the Jacobson radical $I = \cap \mathfrak p_ i$ are nilpotent since otherwise $R_ f$ would not be the zero ring and we would have another prime. Since $I$ is finitely generated we conclude that $I$ is nilpotent, Lemma 10.31.5. By Lemma 10.52.5 $R$ is the product of its local rings. By Lemma 10.51.8 each of these has finite length over $R$. Hence we conclude that $R$ is Artinian by Lemma 10.52.6.

If $R$ is Artinian then by Lemma 10.52.6 it is Noetherian. All of its primes are maximal by a combination of Lemmas 10.52.3, 10.52.4 and 10.52.5. $\square$


Comments (0)


Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 00KH. Beware of the difference between the letter 'O' and the digit '0'.