Let $R$ be an integral domain with the property that all modules over $R$ are projective. Does it follow that $R$ is a field? Obviously the converse is true.
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.
Here's how it works:
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top
If $R$ is not a field, it has a nonzero proper ideal $I$, and $R/I$ is not projective, because it is a nonzero torsion module.
Variation: The canonical projection $R\to R/I$ doesn't split.