Talk:Subgroup of Elements whose Order Divides Integer

Thinking about this, I'm not so sure this ought to be included as a "lemma" as such. A lemma, from what I understand, is a self-contained result which is used only in the context of the course of a particular proof.

In this particular case, this is a result which could have wider usage than just in the course of the fundamental theorem of abelian groups. As such, I would then just provide a link to the result, and not include the full-blown result directly on the page (foldable editor or no). The approach I just suggested would be more in keeping with the general style of proofwiki. I would have gone through and done it myself but haven't got round to it.

This page was originally written by someone who is no longer around, but had a different philosophical take on the structuring of proofs on this site. --prime mover 03:59, 20 October 2011 (CDT)


 * Whoops! You're already there. Soz. --prime mover 04:01, 20 October 2011 (CDT)