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.
For an abbreviation, use coker.
Go to main index.
Go to concepts index.