@@How this problem works
@@FP
@@ABELIAN

\ni The given subgroup is decomposed into a direct product
of cyclic groups. The product of the orders of the cyclic
groups of finite order is the order of the torsion subgroup
of the subgroup.

\ni For a general discussion see
@General_abelian_groups@General_abelian_groups::General discussion@
@@AP_FREE

@@AP_FREE_CYCLIC

@@SMALL_CANCELLATION

@@ONE_RELATOR

