Remark 10.78.4. It is not true that a finite $R$-module which is $R$-flat is automatically projective. A counter example is where $R = \mathcal{C}^\infty (\mathbf{R})$ is the ring of infinitely differentiable functions on $\mathbf{R}$, and $M = R_{\mathfrak m} = R/I$ where $\mathfrak m = \{ f \in R \mid f(0) = 0\}$ and $I = \{ f \in R \mid \exists \epsilon , \epsilon > 0 : f(x) = 0\ \forall x, |x| < \epsilon \}$.

There are also:

• 4 comment(s) on Section 10.78: Finite projective modules

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).