Bourbaki

Lemma 6

Tag 042M, permanent. Cite it as [Bourbaki, Tag 042M].

Commutative Algebra, chapter I, § 2. Flat modules

If M′→vM→wM′′M' \xrightarrow{v} M \xrightarrow{w} M'' is an exact sequence of left A-modules and if E is an M′′M''-flat right A-module, the sequence

E⊗AM′→1⊗vE⊗AM→1⊗wE⊗AM′′ E \otimes_A M' \xrightarrow{1 \otimes v} E \otimes_A M \xrightarrow{1 \otimes w} E \otimes_A M''

is exact.

We use the notation T(Q)T(Q) and T(v)T(v) in the same sense as in the proof of Lemma 4 of no. 2. We write M1′′=w(M)M_1'' = w(M) and let i:M1′′→M′′i : M_1'' \to M'' be the canonical injection and pp the mapping of M to M1′′M_1'' with the same graph as w. The sequence M′→vM→pM1′′→0M' \xrightarrow{v} M \xrightarrow{p} M_1'' \to 0 is exact and it follows from Lemma 1 of no. 1 that the sequence

T(M′)→T(v)T(M)→T(p)T(M1′′)⟶0 T(M') \xrightarrow{T(v)} T(M) \xrightarrow{T(p)} T(M_1'') \longrightarrow 0

is exact. Moreover, as E is M′′M''-flat, the mapping T(i):T(M1′′)→T(M′′)T(i) : T(M_1'') \to T(M'') is injective, and as T(i)∘T(p)=T(w)T(i) \circ T(p) = T(w), the sequence

T(M′)→T(v)T(M)→T(w)T(M′′) T(M') \xrightarrow{T(v)} T(M) \xrightarrow{T(w)} T(M'')

is exact. (§ 1, no. 3.)

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

Cited by

Nothing.

Cites

Transcribed from the printed volume. Not translated.