[IMG]file:///C:/Users/JC/AppData/Local/Temp/msohtmlclip1/01/clip_image002.gif[/IMG]
If
I don't know what i) says, presumably that --this is easy. To prove ii) prove that for every and you can find such that . To do this factorize . Then, note that for you have that . Define then to be such that if and otherwise. To prove three note that if were a direct summand of then there would be an exact sequence , and what's the problem with that (hint: is HIGHLY non-divisible).