>>13277186uhh, thanks, but it's been a while since i have looked attentively at the proof, i can't really remember it. here's a couple of vague questions based on how i remember it though:
the idea of the p-components is like when you have a finite abelian group, break everything down with the Chinese remainder theorem and collect the powers of a single prime, yes? e.g. the group is the 2-component is , while the 3-component is , yes? have i understood this bit correctly?
then iirc he reduces the question of uniqueness for p-components and considers the submodules and somehow proves it in this case directly, by showing is a vector space or something, yes?