Проективный модуль: различия между версиями
| [непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Нет описания правки |
Нет описания правки |
||
Строка 1:
'''Проекти́вный мо́дуль''' — одно из основных понятий [[Гомологическая алгебра|гомологической алгебры]].
[[Модуль над кольцом|Модуль]] ''P'' над [[Кольцо (алгебра)|кольцом]] ''A'' (как правило, считаемым [[Ассоциативность|ассоциативным]] c единичным элементом), называется проективным, если для всякого [[гомоморфизм]]а ''f:P→C'' и [[эпиморфизм]]а ''g:B→C'' существует такой гомоморфизм ''h:P→C'', что ''f=gh'', т.е. данная диаграмма коммутативна:
[[Изображение:Diag_proj_mod.gif|center|Диаграмма для проективного модуля]]
| |||