quotient_group.ker_lift

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