Es sei R {\displaystyle {}R} ein kommutativer Ring und M {\displaystyle {}M} ein projektiver R {\displaystyle {}R} -Modul. Es sei T ⊆ R {\displaystyle {}T\subseteq R} ein multiplikatives System. Zeige, dass M T {\displaystyle {}M_{T}} ein projektiver R T {\displaystyle {}R_{T}} -Modul ist.
