Let G and H denote groups, and let φ:G→H be a group homomorphism.
φ(eG)=eH and (φ(g))−1=φ(g−1) for every