Group theory MOC

Category of abelian groups

The category of abelian groups is a full subcategory of containing abelian groups and homomorphisms between them. The category is equivalent to (Abelian groups as -modules).

Properties

• There is a Free-forgetful adjunction between the Abelianization and the inclusion functor .
• Both the finitary product and coproduct is the Direct product of groups, hence it is an Additive category

#state/develop | #lang/en | #SemBr