Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Suppose $R\neq 0$ is a commutative ring with $1$. Let $M$ be a free $R$-module. I would like to prove that $M$ is a flat $R$-module. Everywhere I have looked (mostly online) this is proved by first proving that every free module is projective, and then proving that every projective module is flat. Unfortunately, Atiyah & Macdonald's "Introduction to Commutative Algebra" (Chapter 2) does not discuss projective modules. But the result that every free module is flat comes very handy in the exercises.

So my question is,

Is it possible to prove that every free module is flat just by definitions and without appealing to projective modules?


share|cite|improve this question
The way people usually prove that projective modules are flat is to reduce to the free case by using that every projective module is a direct summand of a free module, so I'm not sure I understand the question. In fact, it is an somewhat challenging exercise to show that a projective module is flat without appealing to free modules. – Martin May 31 '13 at 9:59
@Martin: You are right. I just wanted to see a proof that doesn't involve discussion of projective modules... But I was ignorant enough not to look at the proof of "projective implies flat" and to see that it does indeed use the result of seemingly weaker statement "free implies flat". Thanks for the heads-up! – Prism May 31 '13 at 10:06
up vote 8 down vote accepted

You can just show that the functor $M\otimes_R(-)$ is left-exact. Write $M=\bigoplus_{i\in I} R$ and let $$0\to N'\xrightarrow{\quad\iota\quad} N\to N''\to 0$$ be an exact sequence of $R$-modules. Note that $M\otimes N=\bigoplus_{i\in I} R\otimes_R N = \bigoplus_{i\in I} N$, so the sequence

$$0 \to M\otimes N' \xrightarrow{\quad\mathrm{id}\otimes\iota\quad} M\otimes N \to M\otimes N'' \to 0$$

is the same as

$$0 \to \bigoplus_{i\in I} N' \xrightarrow{\textstyle\quad\bigoplus_{i\in I} \iota\quad} \bigoplus_{i\in I}N \to \bigoplus_{i\in I}N'' \to 0$$

and the morphism $\bigoplus_{i\in I} \iota$ is clearly injective if $\iota$ is injective.

share|cite|improve this answer

Assume our free module $M$ is of the form $\oplus_{i\in S}R_{i}$, then the statement just follows. The details may be best to leave out to you.

For your question on the projective module, you can consider the projective module as a direct summand of a free module and "piece" up the maps together.

share|cite|improve this answer
  1. The identity functor is exact.

  2. If $\{F_i\}$ is a family of exact functors, then $\oplus_i F_i$ is also exact.

Now apply this to $M \otimes - $ for a free module $M$. 1. deals with the case $M=R$, and 2. generalizes this to $M = \oplus_i R$.

share|cite|improve this answer

Your Answer


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.