Definition todo Universal property Let and be groups. Let be a normal subgroup. Let be a group homomorphism with . Then there exists a unique group homomorphims such that where is the quotient map. Diagram for better understanding: