Exercise 33, § 7
Algebra, II, 407
Let be an integral domain. An -module is called divisible if for all and all in , there exists such that .
(a) Let be two -modules. Show that if is divisible, so is . If is divisible and is torsion-free, is torsion-free. If is a torsion -module and is divisible, then . If is a torsion -module and is torsion-free, then .
(b) Show that every injective -module (, Exercise 11) is divisible and conversely that every divisible torsion-free -module is injective (use criterion () of , Exercise 11).
Solution
No solution has been written yet.