Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $R$ be a commutative ring and $M$ a $R$-module such that for every ideal $I \subset R$, the natural map $I \otimes_R M \rightarrow I.M$ is an isomorphism.

Why is $M$ flat ?

This result is taken from Wikipedia

share|improve this question
add comment

2 Answers

up vote 3 down vote accepted

This result should appear in many commutative algebra books, eg Matsumura, Commutative Ring Theory, Theorem 7.7, p.50. The point is that the given condition implies that $Tor^1 (R/I, M)$ vanishes for any ideal $I$.

To show that $M$ is flat, we want to show that tensoring $M$ preserves the exact sequence of $R$-modules $0 \to N \to N'$. $N'$ is a direct limit of $N + F$, where $F$ is a finitely generated $R$-submodule of $N'$. By exactness of taking direct limit, we may assume that $N' = N+F$ for one such $F$. By inducting on number of generators of $F$, we may assume that $F$ is generated by one element, say $a$. Then $N' = N + Ra$ and
$$0 \to N \to N+Ra \to (N+Ra)/N \cong R/I \to 0$$ where $I = \{r \in R: ra \in N\}$. Vanishing $Tor^1(R/I,M)$ then implies that this sequence is exact after tensoring $M$.

share|improve this answer
    
Thank you. Indeed the proof was in a book that I have at hand, but I wasn't looking at the right chapter... –  user10676 Jan 22 '13 at 9:13
add comment

For an $R$-module $B$ we denote by $B^*$ the $R$-module $Hom_{Ab}(B,\mathbb{Q}/\mathbb{Z})$, which is called the Pontrjagin dual of $B$. You can prove the following:

1- A map $f:B\rightarrow C$ is injective if and only if the dual map $f^*:C^*\rightarrow B^*$ is surjective.

2- Since the functor $\otimes_R B$ is left adjoint to $Hom_{Ab}(B,-)$ then for any morphism of $R$-modules $A'\rightarrow A$ we have a commutative diagram: \begin{array}[lll] \ Hom(A,B^*)&\rightarrow&Hom(A',B^*)\\ \ \ \ \downarrow\simeq&&\ \ \ \downarrow\simeq\\ (A\otimes B)^*&\rightarrow&(A'\otimes B)^* \end{array}

Using this diagram and 1 you can prove that an $R$-module $B$ is flat if and only if $B^*$ is injective. Using this diagram again with $A'\rightarrow A$ replaced by the inclusion $I\rightarrow R$ then 1 and the Baer's criterion for injectivity show that $B^*$ is injective if and only if $I\otimes B\rightarrow IB$ is an isomorphism.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.