... is a universal property, and deduce that the abelianization can be made into a functor from the category of groups to the category of abelian groups.
確定! 回上一頁