Deal with showing the uniqueness of the prime powers appearing in the prime-power decomposition of the torsion subgroup T of a finitely generated abelian group.

Show that in any prime-power decomposition of T, the subgroup T^P in the preceding exercise is isomorphic to the direct product of those cyclic factors of order some power of the prime p.