Преабелева категория - Википедия - Pre-abelian category

В математика особенно в теория категорий, а преабелева категория является аддитивная категория это все ядра и коядра.

Если изложить более подробно, это означает, что категория C является преабелевым, если:

  1. C является предаддитив, то есть обогащенный над моноидальная категория из абелевы группы (эквивалентно, все домашние наборы в C находятся абелевы группы и состав морфизмы является билинейный );
  2. C есть все конечный товары (эквивалентно, все конечные побочные продукты ); обратите внимание, потому что C также является предаддитивным, конечные произведения аналогичны конечным копроизведениям, что делает их побочные продукты;
  3. учитывая любой морфизм жА → B в C, то эквалайзер из ж и нулевой морфизм из А к B существует (это по определению ядро ж), как и уравнитель (это по определению коядро ж).

Обратите внимание, что нулевой морфизм в п.3 можно идентифицировать как элемент идентичности из домашний набор Hom (А,B), которая по п.1 является абелевой группой; или как уникальный морфизм А → 0 → B, где 0 - нулевой объект, существование гарантировано п.2.

Примеры

Оригинальным примером аддитивной категории является категория Ab из абелевы группы.Ab является предаддитивным, потому что это закрытая моноидальная категория, побочный продукт в Ab конечный прямая сумма, ядро ​​- это включение обычное ядро ​​из теории групп а коядро - это фактор-отображение на обычное коядро из теории групп.

Другие распространенные примеры:

Это даст вам представление о том, о чем думать; дополнительные примеры см. абелева категория (каждая абелева категория преабелева).

Элементарные свойства

Конечно, каждая преабелева категория аддитивная категория, и многие основные свойства этих категорий описаны в этой теме. Эта статья посвящена свойствам, которые сохраняются именно благодаря существованию ядер и коядров.

Хотя ядра и коядра являются особыми видами эквалайзеры и соуравнители, в преабелевой категории действительно есть все эквалайзеры и коэквалайзеры. Мы просто строим эквалайзер двух морфизмов ж и грамм как ядро ​​их различия грамм − ж; аналогично, их коэквалайзер является коядром их разности. (Альтернативный термин «разностное ядро» для двоичных эквалайзеров происходит от этого факта.) Поскольку все преабелевы категории имеют конечные товары и побочные продукты (двойные произведения) и все бинарные эквалайзеры и коэквалайзеры (как только что описано), то по общей теореме теория категорий, у них все конечные пределы и копределы, То есть преабелевы категории конечно полный.

Существование как ядер, так и коядров дает представление о изображение и coimage Мы можем определить их как

яж : = установка для коксованияж;
коимж : = coker kerж.

То есть изображение - это ядро ​​коядра, а кообраз - это коядро ядра.

Обратите внимание, что это понятие изображения может не соответствовать обычному понятию изображения, или классифицировать, из функция, даже если предположить, что морфизмы в категории находятся Например, в категории топологических абелевых групп образ морфизма фактически соответствует включению закрытие диапазона функции. По этой причине люди часто будут различать значения двух терминов в этом контексте, используя «изображение» для абстрактного категориального понятия и «диапазон» для элементарного теоретико-множественного понятия.

Во многих распространенных ситуациях, таких как категория наборы, там, где существуют образы и соизображения, их объекты изоморфный.Положим точнее, мы имеем факторизацию жА → B в качестве

А → C → я → B,

где морфизм слева - это кообраз, морфизм справа - это изображение, а морфизм в середине (называемый параллельно из ж) является изоморфизмом.

В преабелевой категории это не обязательно правдаПоказанная выше факторизация существует всегда, но параллель может не быть изоморфизмом. ж является изоморфизмом для любого морфизма ж если и только если преабелева категория - это абелева категория.Примером неабелевой преабелевой категории является, опять же, категория топологических абелевых групп. Как уже отмечалось, образ - это включение закрытие ассортимента; тем не менее, coimage - это факторная карта самого диапазона. Таким образом, параллель - это включение диапазона в его замыкание, что не является изоморфизмом, если диапазон уже не был закрыто.

Точные функторы

Напомним, что все конечные пределы и копределы существуют в преабелевой категории. теория категорий, функтор называется осталось точно если он сохраняет все конечные пределы и прямо точно если он сохраняет все конечные копределы. (Функтор просто точный если это точно и слева, и справа.)

В преабелевой категории точные функторы можно описать особенно простыми терминами. Во-первых, напомним, что аддитивный функтор является функтором FC → D между предаддитивные категории что действует как групповой гомоморфизм на каждой домашний набор Тогда оказывается, что функтор между преабелевыми категориями остается точным. если и только если он аддитивен и сохраняет все ядра, и он точен тогда и только тогда, когда он аддитивен и сохраняет все коксовые ядра.

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

Максимально точная структура

О каждой преабелевой категории существует точная структура это максимальное значение в том смысле, что оно содержит любую другую точную структуру. Точная структура состоит именно из тех пар ядро-коядро куда является полустабильным ядром и - полустабильное коядро.[1] Здесь, является полустабильным ядром, если это ядро ​​и для каждого морфизма в выталкивание диаграмма

морфизм это снова ядро. является полустабильным коядром, если оно является коядром и для любого морфизма в откат диаграмма

морфизм снова коядро.

Преабелева категория является квазиабелев тогда и только тогда, когда все пары ядро-коядро образуют точную структуру. Примером, для которого это не так, является категория борнологических пространств (Хаусдорфа).[2]

Результат также действителен для аддитивных категорий, которые не являются преабелевыми, а Карубян.[3]

Особые случаи

Наиболее часто изучаемые доабелевы категории на самом деле являются абелевыми категориями; Например, Ab - абелева категория. Неабелевы преабелевы категории появляются, например, в функциональном анализе.

Цитаты

  1. ^ Sieg et. др., 2011, с. 2096.
  2. ^ Sieg et. др., 2011, с. 2099.
  3. ^ Кривей, 2012, с. 445.

Рекомендации

  • Николае Попеску; 1973; Абелевы категории с приложениями к кольцам и модулям; Academic Press, Inc .; из печати
  • Деннис Зиг и Свен-Аке Вегнер, Максимальные точные структуры на аддитивных категориях, Math. Nachr. 284 (2011), 2093–2100.
  • Септиму Кривеи, Максимальные точные структуры на аддитивных категориях снова, Math. Nachr. 285 (2012), 440–446.