A_T \cong \bigoplus_{p\in P} A_{T_p}.\; .
For each prime number p, this provides a functor from the category of abelian groups to the category of p-power torsion groups that sends every group to its p-power torsion subgroup, and restricts every homomorphism to the p-torsion subgroups.