coimage -- coimage of a map

coimage -- coimage of a map

coimage f -- coimage of a map.

The coimage of a map differs slightly from the image, in that the coimage is a quotient module of the source of the map, but the image is a submodule of the target of the map. The image and the coimage are isomorphic modules.

See also:

GradedModule -- the class of all graded modules

Ways to use coimage :

coimage ChainComplexMap

coimage GradedModuleMap

coimage Matrix

coimage RingMap