Eine äquivalente Definition von projektiven Moduln ist, daß sie direkte Summanden von freien Moduln sind, d. h., P ist projektiv genau dann, wenn es einen weiteren Modul P′ gibt derart, daß P ⊕ P′ ein ...
M ist bezüglich + eine abelsche Gruppe, und \(a(x\,+\,y)\,=\,ax\,+\,ay,\\ (ab)x\,=\,a(bx),\\ (a\,+\,b)x\,=\,ax\,+\,bx,\,\text{sowie}\\ \,\text{1}\,\cdot \,x\,=\,x ...