Coimage
From Wikipedia, the free encyclopedia
In mathematics, particularly in algebra, the coimage of a homomorphism
- f: A → 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.
