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\).