Bourbaki

Lemma 1

Tag 045Y, permanent. Cite it as [Bourbaki, Tag 045Y].

Commutative Algebra, chapter II, § 2. Rings and modules of fractions

For every ideal a of A, the set S of elements 1+a1 + a, where a∈aa \in a, is a multiplicative subset of A and the set a′a' of elements of S−1AS^{-1}A of the form a/sa/s, where a∈aa \in a and s∈Ss \in S, is an ideal contained in the Jacobson radical of S−1AS^{-1}A.

The first assertion is obvious, as well as the fact that a′a' is an ideal of S−1AS^{-1}A. On the other hand, (1/1)+(a/s)=(s+a)/s(1/1) + (a/s) = (s + a)/s and s+a∈Ss + a \in S for all s∈Ss \in S and a∈aa \in a by definition of S; hence (1/1)+(a/s)(1/1) + (a/s) is invertible in S−1AS^{-1}A for all a/s∈a′a/s \in a', which completes the proof of the lemma (Algebra, Chapter VIII, § 6, no. 3, Theorem 1).

This being so, if we set N=S−1MN = S^{-1}M, clearly N is a finitely generated S−1AS^{-1}A-module; if aM=MaM = M, then a′N=Na'N = N and it follows that N=0N = 0 by Nakayama's Lemma (Algebra, Chapter VIII, § 6, no. 3, Corollary to Proposition 6); the corollary then follows from Corollary 2.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Cites

Transcribed from the printed volume. Not translated.