1.Previous
3.Next

Since the group of integers serves as a generator, the category is therefore a Grothendieck category; indeed it is the prototypical example of a Grothendieck category.

An object in is injective if and only if it is a divisible group; it is projective if and only if it is a free abelian group.

1.Previous
3.Next