Инъективный модуль

Инъекти́вный мо́дуль — одно из основных понятий гомологической алгебры. Модуль над кольцом (как правило, считаемым ассоциативным с единичным элементом) называется инъективным, если для всякого гомоморфизма и мономорфизма (инъективного гомоморфизма) существует такой гомоморфизм , что , то есть данная диаграмма коммутативна: Можно указать ещё один критерий инъективности: инъективен тогда и только тогда, когда для любого мономорфизма индуцированный гомоморфизм является эпиморфизмом. Каждый модуль является подмодулем некоторого инъективного модуля. Эта теорема двойственна тому, что каждый модуль является гомоморфным образом проективного (даже свободного) модуля, хотя доказательство её более сложно. Прямое произведение модулей инъективно тогда и только тогда, когда инъективен каждый сомножитель.