Let $R$ be a (noncommutative) unital ring with no zero-divisors let and $\mathcal{N}$ a non-zero right module that is projective and torsion-free. Projectivity of course implies that $\mathcal{N}$ is flat, but does projectivity together with torsion-freeness 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