Jump to content

Coimage

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by SmackBot (talk | contribs) at 18:58, 16 December 2009 (remove Erik9bot category,outdated, tag and general fixes). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

In mathematics, particularly in algebra, the coimage of a homomorphism

fA → B

is the quotient

coim f = A/ker f

of domain and kernel. The coimage is canonically isomorphic to the image by the first isomorphism theorem, when that theorem applies.

See also