Let be a PID and be a torsion -module. Suppose for some nonzero and prime element . Prove that .
Hints
The ideal is principal. Also, since is prime and is a PID, for every element we either have that divides (i.e., ), or and are relatively prime (in which case we can write for some ).