The only abelian groups up to isomorphism of order are and . Evidently a necessary and sufficient condition for is that for each of the coordinates of . But, of course it is necessary to check that this is true for the generators of each of the coordinate groups. Thus, it's clear with this formulat is that there is 3 groups, the last three I listed.