cokernel

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 and cover.


topindexpreviousupnext