Проективный объект
Проективный объект — теоретико-категорное обобщение понятия проективного модуля.
Проективные объекты в абелевых категориях широко используются в гомологической алгебре. Двойственными объектами к проективным являются инъективные объекты.
Определение
Объект P {displaystyle P} в категории C {displaystyle {mathcal {C}}} называется проективным если для произвольного эпиморфизма e : E ↠ X {displaystyle ecolon E woheadrightarrow X} и морфизма f : P → X {displaystyle fcolon P o X} существует морфизм f ¯ : P → E {displaystyle {overline {f}}:P o E} для которого e ∘ f ¯ = f {displaystyle ecirc {overline {f}}=f} , то есть диаграмма:
коммутативна.
Свойства
- В локально малой категории C {displaystyle {mathcal {C}}} , объект P {displaystyle P} является проективным только если функтор Hom ( P , − ) : C → S e t {displaystyle operatorname {Hom} (P,-)colon {mathcal {C}} o mathbf {Set} }
- Пусть C {displaystyle {mathcal {C}}} — локально малая абелева категория. В этом случае объект P ∈ C {displaystyle Pin {mathcal {C}}} является проективным объектом если Hom ( P , − ) : C → A b {displaystyle operatorname {Hom} (P,-)colon {mathcal {C}} o mathbf {Ab} }
- Копроизведение двух проективных объектов является проективным объектом.
- Ретракт проективного объекта является проективным.
Примеры
- Утверждение о том, что все множества является проективными объектами эквивалентен аксиоме выбора.
- Проективный объектами в категории абелевых групп являются свободные абелевы группы.
- Пусть R {displaystyle R} — кольцо с единицей. Рассмотрим (абелеву) категорию M R {displaystyle {mathcal {M}}_{R}} левых R {displaystyle R} -модулей. Проективными объектами в M R {displaystyle {mathcal {M}}_{R}} являются проективные левые R-модули. В частности R {displaystyle R} является проективным объектом в M R . {displaystyle {mathcal {M}}_{R}.}