Bourbaki

Lemma 4

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

Commutative Algebra, chapter I, § 2. Flat modules

Let EE be a right AA-module and MM a left AA-module such that EE is MM-flat. If NN is either a submodule or a quotient module of MM, then EE is NN-flat.

The case in which NN is a submodule is easy, as, if N′N' is a submodule of NN, the composite homomorphism

E⊗AN′→E⊗AN→E⊗AM E \otimes_A N' \to E \otimes_A N \to E \otimes_A M

is injective, hence so is E⊗AN′→E⊗ANE \otimes_A N' \to E \otimes_A N. Suppose then that NN is a quotient module of MM, that is there exists an exact sequence 0→R→iM→pN→00 \to R \xrightarrow{i} M \xrightarrow{p} N \to 0.

Let N′N' be a submodule of NN and M′=p‾(N′)M' = \overline{p}(N'). Let i′i' denote the mapping of RR to M′M' with the same graph as ii, p′p' the surjection M→N′M \to N' with the same graph as the restriction of pp to M′M', rr the identity mapping of R\mathbf{R} to R\mathbf{R}, mm the canonical injection M′→MM' \to M and nn the canonical injection N′→NN' \to N. The diagram

0⟶R→i′M′→p′N′⟶0↓r↓m↓n0⟶R→iM→pN⟶0 \begin{array}{ccccccccc} 0 & \longrightarrow & \mathbf{R} & \xrightarrow{i'} & M' & \xrightarrow{p'} & N' & \longrightarrow & 0 \\ & & \downarrow r & & \downarrow m & & \downarrow n & & \\ 0 & \longrightarrow & \mathbf{R} & \xrightarrow{i} & M & \xrightarrow{p} & N & \longrightarrow & 0 \end{array}

is commutative and its rows are exact.

To simplify the writing, we set T(Q)=E⊗AQT(Q) = E \otimes_A Q for every left AA-module QQ and T(v)=1E⊗vT(v) = 1_E \otimes v for every left AA-module homomorphism vv. The diagram

T(R)→T(i′)T(M′)→T(p′)T(N′)⟶0↓T(r)↓T(m)↓T(n)T(R)→T(i)T(M)→T(p)T(N)⟶0 \begin{array}{ccccccccc} T(\mathbf{R}) & \xrightarrow{T(i')} & T(M') & \xrightarrow{T(p')} & T(N') & \longrightarrow & 0 \\ \downarrow T(r) & & \downarrow T(m) & & \downarrow T(n) & & \\ T(\mathbf{R}) & \xrightarrow{T(i)} & T(M) & \xrightarrow{T(p)} & T(N) & \longrightarrow & 0 \end{array}

is commutative and its rows are exact by Lemma 1 of no. 1. Moreover, since EE is MM-flat, the homomorphism T(m)T(m) is injective. As T(r)T(r) and T(p′)T(p') are surjective, it follows from § 1, no. 4, Corollary 2 to Proposition 2 that T(n)T(n) is injective, which proves the lemma.

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.