Thanks! I have only a few questions. How do we show that is torsion? I know how you did it for , but getting things to cancel in complex analysis is not so easy [I am having trouble getting to cancel]. Also, did we find the torsion -module such that or does ?.