Kommutativer Ring/Projektiv/Universell/Definition
Erscheinungsbild
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.