 The kernel of a homomorphism is always a congruence.Indeed, every congruence arises as a kernel.For a given congruence ~ on "A", the set "A"/~ of equivalence classes can be given the structure of an algebra in a natural fashion, the quotient algebra.