Проективный модуль

Проекти́вный мо́дуль — одно из основных понятий гомологической алгебры. С точки зрения теории категорий, проективные модули являются частным случаем проективных объектов.

Определение

Модуль ${\displaystyle P}$ над кольцом ${\displaystyle A}$ (как правило, считаемым ассоциативным c единичным элементом), называется проективным, если для всякого гомоморфизма ${\displaystyle g\colon P\to M}$ и эпиморфизма ${\displaystyle f\colon N\to M}$ существует такой гомоморфизм ${\displaystyle h\colon P\to N}$, что ${\displaystyle g=fh}$, то есть данная диаграмма коммутативна:

Простейший пример проективного модуля — свободный модуль ${\displaystyle F}$. В самом деле, пусть ${\displaystyle x_{1},x_{2},\ldots ,x_{i},\ldots }$ — элементы базиса модуля ${\displaystyle F}$ и ${\displaystyle g(x_{i})=y_{i}}$. Поскольку ${\displaystyle f}$ — эпиморфизм, можно найти такие ${\displaystyle z_{i}}$, что ${\displaystyle f(z_{i})=y_{i}}$. Тогда ${\displaystyle h}$ можно определить, задав его значения на векторах базиса как ${\displaystyle h(x_{i})=z_{i}}$.

Для колец многочленов от нескольких переменных над полем любой проективный модуль является свободным.

В общем случае это не так, хотя легко доказать теорему о том, что модуль ${\displaystyle P}$ проективен тогда и только тогда, когда существует такой модуль ${\displaystyle K}$, что прямая сумма ${\displaystyle F=P\oplus K}$ свободна. В самом деле, если ${\displaystyle P}$ есть компонента прямой суммы ${\displaystyle F}$, которая является свободным модулем, и ${\displaystyle g\colon P\to M}$ — гомоморфизм, то ${\displaystyle gp_{1}\colon F\to M}$ тоже гомоморфизм (${\displaystyle p_{1}}$ — проекция прямой суммы ${\displaystyle F}$ на первое слагаемое ${\displaystyle P}$), а так как проективность свободных модулей нам известна, то существует гомоморфизм ${\displaystyle h_{1}\colon F\to N}$, такой, что ${\displaystyle gp_{1}=fh_{1}}$, отсюда ${\displaystyle gp_{1}i_{1}=fh_{1}i_{1}}$, где ${\displaystyle i_{1}}$ — гомоморфизм включения ${\displaystyle P\to F}$, отсюда

${\displaystyle g=fh_{1}i_{1}\colon P\to M}$

Обратно, пусть ${\displaystyle P}$ — проективный модуль. Каждый модуль является гомоморфным образом свободного. Пусть ${\displaystyle g\colon F\to P}$ — соответствующий эпиморфизм. Тогда тождественный изоморфизм ${\displaystyle id\colon P\to P}$ будет равен ${\displaystyle id=gh}$ для некоторого ${\displaystyle h\colon P\to F}$, так как ${\displaystyle P}$ проективен. Любой элемент ${\displaystyle F}$ тогда представим в виде

${\displaystyle x=hg(x)+(x-hg(x))\in \mathrm {Im} \,h\oplus \mathrm {Ker} \,g}$,

где ${\displaystyle \mathrm {Im} \,h}$ изоморфно ${\displaystyle P}$.

Свойства

• ${\displaystyle P}$ проективен тогда и только тогда, когда для любого эпиморфизма ${\displaystyle f\colon N\to M}$ индуцированный гомоморфизм ${\displaystyle f_{*}\colon {\text{Hom}}(P,N)\to {\text{Hom}}(P,M)}$ является эпиморфизмом.
• ${\displaystyle P}$ проективен тогда и только тогда, когда он переводит любую короткую точную последовательность ${\displaystyle 0\to A\to B\to C\to 0}$ в точную последовательность ${\displaystyle 0\to {\text{Hom}}(P,A)\to {\text{Hom}}(P,B)\to {\text{Hom}}(P,C)\to 0}$.
• Прямая сумма модулей проективна тогда и только тогда, когда проективно каждое слагаемое.

См. также

• Инъективный модуль
• Резольвента (гомологическая алгебра)

Литература

• Картан А., Эйленберг С. Гомологическая алгебра. — М.: ИЛ, 1960
• Маклейн С. Гомология. — М.: Мир, 1966..

Эта страница в последний раз была отредактирована 29 мая 2020 в 19:56.