Definition. All elements in domain who map to the Identity element.
When is a surjective homomorphism an isomorphism. It is if and only if its kernel ={1}=\{1\}={1}