If $R$ is an integral domain, then every ideal factors into primes if and only if every submodule of a projective module is projective.
Steven Landsburg
- 23k
- 5
- 95
- 153