Primary torsion subgroup at a prime

ID: primary-torsion-subgroup-at-a-prime

For an abelian group , its -primary torsion subgroup is . It is zero exactly when , since a nonzero element of -power order has a multiple of order . Multiplication by an integer prime to is an automorphism on it.

New to topics? Read the docs here!