The Stacks project

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$

Comments (4)

Comment #1360 by abcxyz on

If by "radical" you mean Jacobson radical, then I don't know how every prime contain this. If by "radical" you mean nilradical, then I don't know how this equals the intersection of maximal ideals.

Comment #1363 by Auguste Hoang Duc on

The radical is the Jacobson radical ( The ring is assumed to have locally nilpotent radical. This is an other way to say that the Jacobson radical is equal to the nilradical.

Comment #7150 by Ryo Suzuki on

In my opinion, this lemma should be proved by an observation about topological spaces.

Lemma. Let be a topological space. Assume that (1) has finitely many closed points. (2) A subset consiting of all closed point is dense in . Then every point of is closed. Hence is a finite discrete spadce.

Proof. .

Lemma 00JA can be proved by this lemma and Lemma 00EM.

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 00JA. Beware of the difference between the letter 'O' and the digit '0'.