Let AAA be an abelian group. The torsion subgroup ATA_TAT of AAA is the subgroup consisting of all elements of AAA with finite order.
Wikidata ID: Q2293759