Show that if is a group and , there exists a unique homomorphism such that .
Existence: Define . We need not worry about well-definedness for . For all , we have , so that is a homomorphism.
Uniqueness: Suppose we have another homomorphism such that . Then , so that and so is unique. (Keep in mind that we write additively and multiplicatively.)