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.
V2.28, 13 July 2023