Coimage - Coimage

В алгебра, то coimage из гомоморфизм

это частное

из домен посредством ядро. Коимаж канонически изоморфный к изображение посредством первая теорема об изоморфизме, когда применима эта теорема.

В более общем плане в теория категорий, то coimage из морфизм это двойственное понятие образ морфизма. Если , затем совместное изображение (если он существует) является эпиморфизм такой, что

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

Смотрите также

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

  • Митчелл, Барри (1965). Теория категорий. Чистая и прикладная математика. 17. Академическая пресса. ISBN  978-0-124-99250-4. МИСТЕР  0202787.