Эпиморфизм: различия между версиями
[непроверенная версия] | [непроверенная версия] |
Andronniy (обсуждение | вклад) |
Метки: с мобильного устройства из мобильной версии |
||
Строка 5: | Строка 5: | ||
== Примеры == |
== Примеры == |
||
Каждый морфизм в [[конкретная категория|конкретной категории]], которому соответствует сюръективная функция, является эпиморфизмом. Например, сюръективный [[гомоморфизм]] [[Группа_(математика) | групп]] или [[Граф_(математика) | графов]]. Во многих категориях обратное тоже верно. Например, это верно в категориях множеств, групп, абелевых групп, векторных пространств, правых [[модуль над кольцом|модулей]] и топологических пространств. Однако, например, в [[Категория колец|категории колец]] вложение <math>\Z \to Q</math> — несюръективный эпиморфизм (и, кроме того, [[биморфизм]], не являющийся [[изоморфизм]]ом). |
Каждый морфизм в [[конкретная категория|конкретной категории]], которому соответствует сюръективная функция, является эпиморфизмом. Например, сюръективный [[гомоморфизм]] [[Группа_(математика) | групп]] или [[Граф_(математика) | графов]]. Во многих категориях обратное тоже верно. Например, это верно в категориях множеств, групп, абелевых групп, векторных пространств, правых [[модуль над кольцом|модулей]] и топологических пространств. Однако, например, в [[Категория колец|категории колец]] вложение <math>\Z \to \Q</math> — несюръективный эпиморфизм (и, кроме того, [[биморфизм]], не являющийся [[изоморфизм]]ом). |
||
== Свойства == |
== Свойства == |
Версия от 18:56, 29 октября 2019
Эпиморфи́зм в категории ― морфизм , такой что из всякого равенства следует (другими словами, на можно сокращать справа).
Эпиморфизмы представляют собой категорный аналог понятия сюръективной функции, но это не одно и то же. Двойственным к понятию эпиморфизм является понятие мономорфизма; эпиморфзим, являющийся одновременно и мономорфизмом, называется биморфизмом.
Примеры
Каждый морфизм в конкретной категории, которому соответствует сюръективная функция, является эпиморфизмом. Например, сюръективный гомоморфизм групп или графов. Во многих категориях обратное тоже верно. Например, это верно в категориях множеств, групп, абелевых групп, векторных пространств, правых модулей и топологических пространств. Однако, например, в категории колец вложение — несюръективный эпиморфизм (и, кроме того, биморфизм, не являющийся изоморфизмом).
Свойства
Любой морфизм, имеющий обратный справа, является эпиморфизмом. Действительно, если существует морфизм , такой что , то легко проверить, что — эпиморфизм, домножив равенство на справа. Композиция двух эпиморфизмов — снова эпиморфизм. Если композиция двух морфизмов — эпиморфизм, то должен быть эпиморфизмом.
Как и многие концепции в теории категорий, эпиморфность сохраняется при эквивалентности категорий, является эпиморфизмом в одной категории тогда и только тогда, когда он является эпиморфизмом в другой.
Определение эпиморфизма можно переформулировать таким способом: — эпиморфизм тогда и только тогда, когда индуцированное отображение:
инъективно для всех .
Литература
- Маклейн С. Категории для работающего математика = Categories for the working mathematician / Пер. с англ. под ред. В. А. Артамонова. — М.: Физматлит, 2004. — 352 с. — ISBN 5-9221-0400-4.
- Bergman, George M. (1998), An Invitation to General Algebra and Universal Constructions, Harry Helson Publisher, Berkeley. ISBN 0-9655211-4-1.