One way is to write thus
Now that we know that, implies that
If is a group homomorphism between G and H, then we have the following definition:
for all we have
According to wikipedia, this means that , where , are the identity elements of G and H respectively, and also that for all .
Can someone show me how these conditions are true?