Let $R$ be a (noncommutative) ring and $\mathcal{N}$ a right module that is projective and torsionfree. Projectivity of course implies that $\mathcal{N}$ is flat, but does projectivity together with torsionfreeness suffice to imply that $\mathcal{N}$ is faithfully flat?
A module that is projective and torsion free but not faithfully flat?
Tim Montegue
- 435
- 2
- 7