More strongly, any homomorphism between abelian groups sends each p-power torsion subgroup into the corresponding p-power torsion subgroup.
Więcej, dowolny homomorfizm między grupami abelowymi odwzorowuje każdą z p-potęgowych podgrup torsyjnych na odpowiednią p-potęgową podgrupę torsyjną.