Universal Property of Quotient Groups