In my text, I often come across words like "there exists a canonical homomorphism between the group and the quotient group " for example -in the first isomorphism theorem . I do not understand what is meant by the word "canonical" in such contexts although I sort of get what is going on. May I request a clarification of the concept here? Thanks.