torsion subgroups