There are two forgetful functors from Grp, M: Grp → Mon from groups to monoids and U: Grp → Set from groups to sets. M has two adjoints: one right, I: Mon→Grp, and one left, K: Mon→Grp. I: Mon→Grp is the functor sending every monoid to the submonoid of invertible elements and K: Mon→Grp the functor sending every monoid to the Grothendieck group of that monoid. The forgetful functor U: Grp → Set has a left adjoint given by the composite KF: Set→Mon→Grp, where F is the free functor; this functor assigns to every set S the free group on S.
The category of abelian groups, Ab, is a full subcategory of Grp. Ab is an abelian category, but Grp is not. Indeed, Grp isn't even an additive category, because there is no natural way to define the "sum" of two group homomorphisms. A proof of this is as follows: The set of morphisms from the symmetric groupS3 of order three to itself, , has ten elements: an element z whose product on either side with every element of E is z (the homomorphism sending every element to the identity), three elements such that their product on one fixed side is always itself (the projections onto the three subgroups of order two), and six automorphisms. If Grp were an additive category, then this set E of ten elements would be a ring. In any ring, the zero element is singled out by the property that 0x=x0=0 for all x in the ring, and so z would have to be the zero of E. However, there are no two nonzero elements of E whose product is z, so this finite ring would have no zero divisors. A finite ring with no zero divisors is a field by Wedderburn's little theorem, but there is no field with ten elements because every finite field has for its order, the power of a prime.