Lemma 10.53.5. Any ring with finitely many maximal ideals and locally nilpotent Jacobson radical is the product of its localizations at its maximal ideals. Also, all primes are maximal.

**Proof.**
Let $R$ be a ring with finitely many maximal ideals $\mathfrak m_1, \ldots , \mathfrak m_ n$. Let $I = \bigcap _{i = 1}^ n \mathfrak m_ i$ be the Jacobson radical of $R$. Assume $I$ is locally nilpotent. Let $\mathfrak p$ be a prime ideal of $R$. Since every prime contains every nilpotent element of $R$ we see $ \mathfrak p \supset \mathfrak m_1 \cap \ldots \cap \mathfrak m_ n$. Since $\mathfrak m_1 \cap \ldots \cap \mathfrak m_ n \supset \mathfrak m_1 \ldots \mathfrak m_ n$ we conclude $\mathfrak p \supset \mathfrak m_1 \ldots \mathfrak m_ n$. Hence $\mathfrak p \supset \mathfrak m_ i$ for some $i$, and so $\mathfrak p = \mathfrak m_ i$. By the Chinese remainder theorem (Lemma 10.15.4) we have $R/I \cong \bigoplus R/\mathfrak m_ i$ which is a product of fields. Hence by Lemma 10.32.6 there are idempotents $e_ i$, $i = 1, \ldots , n$ with $e_ i \bmod \mathfrak m_ j = \delta _{ij}$. Hence $R = \prod Re_ i$, and each $Re_ i$ is a ring with exactly one maximal ideal.
$\square$

## 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.

## Comments (7)

Comment #1360 by abcxyz on

Comment #1363 by Auguste Hoang Duc on

Comment #7150 by Ryo Suzuki on

Comment #7300 by Johan on

Comment #8123 by anon on

Comment #8124 by anon on

Comment #8225 by Stacks Project on