Определение 1. Категория абелевых групп1) — это категория, объектами которой являются абелевы группы, а морфизмами — гомоморфизмы групп.