Coimage - Coimage - Wikipedia

İçinde cebir, birlikte görüntü bir homomorfizm

... bölüm

of alan adı tarafından çekirdek. Eş görüntü kanonik olarak izomorfik için görüntü tarafından ilk izomorfizm teoremi, bu teorem uygulandığında.

Daha genel olarak kategori teorisi, birlikte görüntü bir morfizm ikili kavramı bir morfizmin görüntüsü. Eğer , sonra bir eşgörüntü (eğer varsa) bir epimorfizm öyle ki

  1. bir harita var ile ,
  2. herhangi bir epimorfizm için bunun için bir harita var ile eşsiz bir harita var öyle ki ikisi de ve

Ayrıca bakınız

Referanslar

  • Mitchell Barry (1965). Kategoriler teorisi. Saf ve uygulamalı matematik. 17. Akademik Basın. ISBN  978-0-124-99250-4. BAY  0202787.