Theorem

Kaplansky's theorem on projective modules over a local ring

Every projective module over a local ring is free.

Reference(s)

  • F. W. Anderson and K. R. Fuller. Rings and categories of modules. (2012) @ Corollary 26.7