# 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$.