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)


 * I think this page started out as a lemma in an overlong proof of Fundamental Theorem of Finite Abelian Groups, which I still have to finish off tidying up (I keep meaning to do it but it's one of the most tediously boring bit of mathematics ever). In fact I was working towards a proof of it myself at one point, but it involved matrix algebra which hadn't been covered here, so I put that field together, and then never returned to this.


 * My view is: work it whichever way makes most sense and flows best, I have no strong views on this set of results. --prime mover (talk) 17:58, 30 August 2013 (UTC)


 * Group theory is not among my fortes; rather among my vices... But the little knowledge about the field that I have retained was enough to make it clear that there was some discrepancy here. IOW: The improvements are not to be expected from me. &mdash; Lord_Farin (talk) 19:06, 30 August 2013 (UTC)