Русская Википедия:Категория абелевых групп

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Категория абелевых групп (обозначается Шаблон:Math) — категория, объекты которой — абелевы группы, а морфизмы — гомоморфизмы групп. Является прототипом абелевой категории.[1], в действительности, любая малая абелева категория может быть вложена в Шаблон:MathШаблон:Sfn.

Шаблон:Math является полной подкатегорией Шаблон:Math (категории всех групп). Главное различие между Шаблон:Math и Шаблон:Math состоит в том, что сумма двух гомоморфизмов абелевых групп — снова гомоморфизм:

Шаблон:Math
       Шаблон:Math

Третье равенство требует коммутативности сложения. Сложение морфизмов делает Шаблон:Math предаддитивной категорией, и поскольку конечная прямая сумма абелевых групп является бипроизведением, следует, что Шаблон:Math — аддитивная категория.

В Шаблон:Math понятие ядра в категорном смысле совпадает с понятием ядра в алгебраическом смысле, то же самое верно для коядра. (Ключевое различие между Шаблон:Math и Шаблон:Math здесь состоит в том, что в Шаблон:Math Шаблон:Math может не быть нормальной подгруппой, поэтому факторгруппа Шаблон:Math не всегда может быть определена.) Имея конкретные описания ядра и коядра, легко проверить, что Шаблон:Math — в действительности абелева категория.

Объект Шаблон:Math является инъективным тогда и только тогда, когда группа делимая; он проективен тогда и только тогда, когда группа свободная.

По двум абелевым группам Шаблон:Math и Шаблон:Math можно определить их тензорное произведение Шаблон:Math; оно вновь является абелевой группой, что делает Шаблон:Math моноидальной категорией.

Шаблон:Math не является декартово замкнутой, потому что в ней не всегда определены экспоненциалы.

Примечания

Шаблон:Примечания

Литература

  1. Pedicchio & Tholen (2004) p.200