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. 

Let p be a fixed prime. Show that the elements of T having as order some power of p, together with zero, form a subgroup T^p of T.