Проективный модуль: различия между версиями

[[Модуль над кольцом|Модуль]] <math>P</math> над [[Кольцо (алгебра)|кольцом]] <math>A</math> (как правило, считаемым [[Ассоциативность (математика)|ассоциативным]] c единичным элементом), называется проективным, если для всякого [[гомоморфизм]]а <math>g\colon P\to M</math> и [[эпиморфизм]]а <math>f\colon N\to M</math> существует такой гомоморфизм <math>h\colon P\to N</math>, что <math>g = fh</math>, то есть данная диаграмма коммутативна: