Проєктивний об'єкт

У теорії категорій, поняття проєктивного об'єкта узагальнює проєктивні модулі. Проєктивні об'єкти у абелевих категоріях широко використовуються у гомологічній алгебрі. Двоїстим до проєктивних об'єктів є ін'єктивні об'єкти.

Означення

Об'єкт $P$ у категорії $𝒞$ називається проєктивним якщо для довільного епіморфізма $e:E\twoheadrightarrow X$ і морфізма $f:P\to X$, існує морфізм $\bar{f}:P\to E$ для якого $e\circ \bar{f}=f$, тобто існує комутативна діаграма:

У локально малій категорії $𝒞$ $P$ є проєктивним якщо і тільки якщо функтор Hom

$\mathrm{Hom}(P,-):𝒞\to 𝐒𝐞𝐭$

зберігає епіморфізми.

Абелеві категорії

Нехай $𝒞$ — локально мала абелева категорія. У цьому випадку об'єкт $P\in 𝒞$ називається проєктивним об'єктом якщо

$\mathrm{Hom}(P,-):𝒞\to 𝐀𝐛$

є точним функтором, де $𝐀𝐛$ є категорією абелевих груп.

Іншими еквівалентними означеннями у цьому випадку є

• Функтор Hom $\mathrm{Hom}(P,-):𝒞\to 𝐒𝐞𝐭$ переводить коядра об'єктів у коядра.
• Функтор Hom $\mathrm{Hom}(P,-)$ переводить ковирівнювачі у ковирівнювачі.
• Функтор Hom $\mathrm{Hom}(P,-)$ переводить кодекартові квадрати у кодекартові квадрати.
• Кожна послідовність виду

$0\to U\to V\to P\to 0$

є точною у $𝒞$ тоді і тільки тоді коли вона розщеплюється, тобто $V$ є ізоморфним прямій сумі $U\oplus P$.

Властивості

• Кодобуток двох проєктивних об'єктів є проєктивним об'єктом.
• Ретракт проєктивного об'єкта є проєктивним.

Достатньо проєктивних об'єктів

Нехай $𝒜$ — абелева категорія. Кажуть, що $𝒜$ має достатньо проєктивних об'єктів якщо для кожного об'єкта $A$ у $𝒜$ існує проєктивний об'єкт $P$ у $𝒜$ і точна послідовність

$P⟶⟶0.$

Іншими словами $p:P\to A$ є епіморфізмом.

Приклади

• Твердження про те, що всі множини є проєктивними об'єктами є еквівалентним аксіомі вибору.
• Проєктивний об'єктами у категорії абелевих груп є вільні абелеві групи.
• Нехай $R$ — кільце з 1. Розглянемо (абелеву) категорію лівих $R$-модулів ${ℳ}_R$. Проєктивними об'єктами у ${ℳ}_R$ є проєктивні ліві R-модулі. Зокрема $R$ є проєктивним об'єктом у ${ℳ}_R.$
• Категорія лівих (правих) $R$-модулів має достатньо проєктивних об'єктів. Це випливає з того, що для кожного лівого (правого) $R$-модуля $M$, можна взяти вільний (а відтак проєктивний) $R$-модуль $F$ породжений елементами $M$ і канонічна проєкція $\pi :F\to M$ буде необхідним сюр'єктивним відображенням.

Див. також

• Ін'єктивний об'єкт
• Проєктивний модуль