Kernel of a homomorphism, denoted Ker φ