Canonical Decomposition

TorsionFreeSubgroup(A) : GrpAb -> GrpAb

The torsion-free subgroup of the abelian group G.

TorsionSubgroup(A) : GrpAb -> GrpAb

The torsion subgroup of the abelian group G.

pPrimaryComponent(A, p) : GrpAb, RngIntElt -> GrpAb

The p-primary component of the abelian group G.