cokernel in Grp
1. Definition / Proposition
Given category Group, groups and
a homomorphism.
Then the cokernel of
is given by
where is the normal closure
2. Proof
Suppose there exists a group-homomorphism
such that
commutes.
Then define
note that it is welldefined, as with kernel as normal subgroup