Lemma 10.39.2 (0BBY)—The Stacks project

Loading web-font TeX/Math/Italic

Table of contents
Part 1: Preliminaries
Chapter 10: Commutative Algebra
Section 10.39: Flat modules and flat ring maps
Lemma 10.39.2 (cite)

previous definition
next lemma

numberstags

history
statistics
2 tags refer to this tag

Lemma 10.39.2. Let $R$ be a ring. Let $I, J \subset R$ be ideals. Let $M$ be a flat $R$ -module. Then $IM \cap JM = (I \cap J)M$ .

Proof. Consider the exact sequence $0 \to I \cap J \to R \to R/I \oplus R/J$ . Tensoring with the flat module $M$ we obtain an exact sequence

$0 \to (I \cap J) \otimes _ R M \to M \to M/IM \oplus M/JM$

Since the kernel of $M \to M/IM \oplus M/JM$ is equal to $IM \cap JM$ we conclude. $\square$

Comments (0)

There are also:

3 comment(s) on Section 10.39: Flat modules and flat ring maps

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

Post a comment