If you have the group then the torsion subgroup is . Where the str prime powers, not necessarily distinct. If we form the torsion subgroup and we mod it out, i.e. compute . Thus, is a free abelian group. The "rank" is the # of elements in a basis for . Since all basis has the same number of elements we see that . And so the rank is .