Let G and H be groups, and let φ: G→H be a homomorphism. Then: the kernel of φ is a normal subgroup of G, the image of φ is a subgroup of H, the image of φ is isomorphic to the quotient group G/ker(φ). In particular, if φ is surjective then H is isomorphic to G/ker(φ).