Projective modules over local rings are free.

Theorem 10.85.4. If $P$ is a projective module over a local ring $R$, then $P$ is free.

Comment #1037 by Adeel Khan on

Suggested slogan: Projective modules over local rings are free.

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