Universal Property of Abelianization