If we have a map then we may define a map by . We can then define by . It can be proved that this is a group homomorphism.