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!