Lemma 10.53.3 (00J7)—The Stacks project

Loading web-font TeX/Math/Italic

Table of contents
Part 1: Preliminaries
Chapter 10: Commutative Algebra
Section 10.53: Artinian rings
Lemma 10.53.3 (cite)

numberstags

Lemma 10.53.3. If $R$ is Artinian then $R$ has only finitely many maximal ideals.

Proof. Suppose that $\mathfrak m_ i$ , $i = 1, 2, 3, \ldots$ are pairwise distinct maximal ideals. Then $\mathfrak m_1 \supset \mathfrak m_1\cap \mathfrak m_2 \supset \mathfrak m_1 \cap \mathfrak m_2 \cap \mathfrak m_3 \supset \ldots$ is an infinite descending sequence (because by the Chinese remainder theorem all the maps $R \to \oplus _{i = 1}^ n R/\mathfrak m_ i$ are surjective). $\square$

Comments (2)

Comment #3421 by Jonas Ehrhard on July 13, 2018 at 06:42

We should assume that the $\mathfrak{m}_i$ are pairwise different to apply the Chinese Remainder theorem.

Comment #3483 by Johan on August 05, 2018 at 10:03

THanks and fixed here.

There are also:

3 comment(s) on Section 10.53: Artinian rings

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

Comments (2)

Post a comment