This online help node and the nodes below it describe the category of finitely presented abelian groups. Both finite and infinite abelian groups may be defined, the only restriction being that the group be finitely generated.