quotient_group.ker_lift
The induced map from the quotient by the kernel to the codomain.