Kommutativer Ring/Projektiv/Universell/Definition

Projektiver Modul

Es sei ein kommutativer Ring und ein -Modul. Der Modul heißt projektiv, wenn es zu jedem surjektiven -Modulhomomorphismus

und jedem Modulhomomorphismus

einen Modulhomomorphismus

mit

gibt.