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.29, 21 October 2025