Bourbaki

Corollary 2

Tag 04LG, permanent. Cite it as [Bourbaki, Tag 04LG].

Commutative Algebra, chapter IV, § 2. Primary decomposition

Suppose that AA and BB are Noetherian and that BB is a flat AA-module. Let pp be a prime ideal of AA, Q⊂EQ \subset E a pp-primary submodule and P\mathfrak{P} a prime ideal of BB. For Q⊗ABQ \otimes_A B to be a qq-primary submodule of E⊗ABE \otimes_A B, it is necessary and sufficient that pBpB be a 'p-primary ideal' of BB.

Let us apply Theorem 2 to the AA-module E/QE/Q and the BB-module BB; then Ass⁡A(E/Q)={p}\operatorname{Ass}_A(E/Q) = \{p\} and (E/Q)⊗AB(E/Q) \otimes_A B is isomorphic to (E⊗AB)/(Q⊗AB)(E \otimes_A B)/(Q \otimes_A B) and hence Ass⁡B((E⊗AB)/(Q⊗AB))=Ass⁡B(B/pB)\operatorname{Ass}_B((E \otimes_A B)/(Q \otimes_A B)) = \operatorname{Ass}_B(B/pB). To say that Q⊗ABQ \otimes_A B is P\mathfrak{P}-primary in E⊗ABE \otimes_A B therefore means that Ass⁡B(B/pB)\operatorname{Ass}_B(B/pB) is reduced to P\mathfrak{P}, whence the corollary.

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.