The cokernel of a module homomorphism f:A→B is defined as the quotient of the codomain B by the image of f, denoted coker(f)=B/im(f). It measures the failure of f to be surjective by capturing the elements of B that are not in the image of A.
Conditions: f:A→B is a homomorphism of R-modules.; im(f) is a submodule of B.
The cokernel of a module homomorphism f:A→B is defined as the quotient of the codomain B by the image of f, denoted coker(f)=B/im(f). It measures the failure of f to be surjective by capturing the elements of B that are not in the image of A.
Conditions: f:A→B is a homomorphism of R-modules.; im(f) is a submodule of B.