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