Talk:Abelian Group of Prime-power Order is Product of Cyclic Groups

It would seem that the "Corollary" is actually the statement hinted at by the title. The refactoring task should therefore be reduced to merging the two proofs in a coherent manner. &mdash; Lord_Farin (talk) 12:55, 30 August 2013 (UTC)