Lemma 10.28.12 (05KI)—The Stacks project

Processing math: 0%

Table of contents
Part 1: Preliminaries
Chapter 10: Commutative Algebra
Section 10.28: A meta-observation about prime ideals
Lemma 10.28.12 (cite)

numberstags

An ideal maximal among the ideals which do not contain a nonzerodivisor is prime.
If $R$ is nonzero and every nonzero prime ideal in $R$ contains a nonzerodivisor, then $R$ is a domain.

Proof. Consider the set $S$ of nonzerodivisors. It is a multiplicative subset of $R$ . Hence any ideal maximal with respect to not intersecting $S$ is prime, see Lemma 10.28.9. Thus, if every nonzero prime ideal contains a nonzerodivisor, then $(0)$ is prime, i.e., $R$ is a domain. $\square$

Comments (4)

Comment #67 by Rankeya on September 27, 2012 at 16:53

I think the first item in the formulation of the lemma is incorrect. The term zerodivisor should be replaced by nonzerodivisor.

Comment #68 by Johan on September 27, 2012 at 18:11

Haha, yes! Of course, since every ideal contains 0 the statement of part (1) wasn't wrong, it was just completely useless. Thanks!

Comment #3541 by Laurent Moret-Bailly on August 25, 2018 at 15:35

In (2), $R$ should be assumed nonzero.

Comment #3673 by Johan on October 22, 2018 at 10:21

Thanks and fixed here.

There are also:

6 comment(s) on Section 10.28: A meta-observation about prime ideals

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 (4)

Post a comment