Hi Charles, You have a fair amount of flexibility when writing a paper, and almost all papers take some facts for granted. Your paper should make it clear exactly which facts you assume, give references for these facts, and then explain clearly and correctly how to deduce your result from them. I will post this message to the web site, hope its ok. Anders On 04/29/2012 01:28 PM, ***** wrote: > Hi Professor Buch, > > Would you like us to include proofs of either theorems or claims we make > in our paper regarding things other than actually showing that our > chosen module is free and not projective? For example, would you like a > proof as to why a module over a PID is free iff it is projective? > > Thank you, > > Charles Wolf