Exercise 8, § 2
Algebra, VII, p. 56
Let be a principal ideal domain, let be an irreducible element of and let be a -primary module. Then an element of is said to have height if and . If for all then is said to have infinite height.
u) Show that is divisible if and only if all its elements have infinite height (Ex. 3).
b) Let be an element of of height , such that ; show that if then the cyclic submodule of is a direct factor of (notice that is a pure submodule, and apply Ex. 7, d)).
c) Show that a nondivisible -primary module always contains at least one cyclic nonzero direct factor (if has finite height, and there exist integers such that has infinite height, then lets be the least such integer ; write , where has height strictly greater than , and apply b) to ). Deduce that any indecomposable -primary module is either cyclic or isomorphic to a module (Ex. 3).
d) Show that if every pure submodule of the -primary module is a direct factor in , then is a direct sum of a divisible module and a -primary module with nonzero annihilator. (Reduce to the case where contains no nonzero divisible submodule, and argue by contradiction. Use b) to show that there would exist an infinite sequence of elements of height 1 in such that : 1) the annihilator of is , where the sequence of integers is strictly increasing ; and 2) the sum of the is direct, and the sum of any finite number of these submodules is a direct factor in . Then show that the submodule of generated by the elements , is pure, but not a direct factor of , arguing as in Ex. 7, e)).
Solution
No solution has been written yet.