Kommutativer Ring/Projektiv/Universell/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
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.