The cokernel of a group homomorphism f:A⟶B of Abelian groups (modules, or abstract vector spaces) is the quotient group (quotient module or quotient space, respectively) B/Image(f).

group kernel | module kernel | range