The category of all finitely generated abelian groups is also an abelian category, as is the category of all finite abelian groups.
Категория является абелевой, если:* существуют все бинарные произведения и копроизведения,* Категория абелевых групп является абелевой.