group functor

functor from the category of commutative rings to the category of groups