Coimage - Coimage

Yilda algebra, koimage a homomorfizm

bo'ladi miqdor

ning domen tomonidan yadro. Mening to‘plamlarim kanonik izomorfik uchun rasm tomonidan birinchi izomorfizm teoremasi, qachon bu teorema amal qiladi.

Umuman olganda, yilda toifalar nazariyasi, koimage a morfizm ning ikki tomonlama tushunchasi morfizm tasviri. Agar , keyin koimage (agar u mavjud bo'lsa) epimorfizm shu kabi

  1. xarita bor bilan ,
  2. har qanday epimorfizm uchun buning uchun xarita mavjud bilan , noyob xarita mavjud ikkalasi ham shunday va

Shuningdek qarang

Adabiyotlar

  • Mitchell, Barri (1965). Kategoriyalar nazariyasi. Sof va amaliy matematika. 17. Akademik matbuot. ISBN  978-0-124-99250-4. JANOB  0202787.