cokernel -- cokernel of a map

cokernel -- cokernel of a map

cokernel f -- produces the cokernel of the module homomorphism f

The result will be a quotient module of the target of f. If f is a ring element, it is interpreted as a one by one matrix.

The generators of the cokernel are provided by the generators of the target of f. In other words, cover target f and cover cokernel f are equal.

For an abbreviation, use coker.

See also:

kernel -- kernel of a map

cover -- get the covering free module

Ways to use cokernel :

cokernel ChainComplexMap

cokernel GradedModuleMap

cokernel Matrix

cokernel RingElement