Torsion submodules
Suppose
- Prove that if
is an integral domain then is a submodule of . - Give an example of a ring
and -module such that is not a submodule. (Hint: Consider torsion elements in the -module for some specific ring .) - Suppose
has a (nonzero) zero divisor and is nontrivial. Prove that has nonzero torsion elements. - Suppose
is an -module morphism. Prove that .