Exercise 16, § 4
Algebra, VII, p. 67
Let M be a module over a commutative ring A. A submodule N of M is called characteristic if for every endomorphism of M. For all , the submodule of elements annihilated by a, and the submodule , are characteristic. a) If N is a characteristic submodule of M, and P and Q are two complementary submodules of M, show that N is the direct sum of and (consider the projections from M onto P and Q). b) Let M be a module of finite length over a principal ideal domain A ; let be the invariant factors of M, arranged in decreasing order () ; let be a sequence of submodules of M such that M is the direct sum of the M, and each is isomorphic to . Let N be a characteristic submodule of M and let be the annihilator of () ; if , show that divides , and divides for all (notice that, for , there exists an endomorphism of M which maps onto , and an endomorphism of M which maps M, onto a submodule of ). c) Conversely, let N be a submodule of M which is a direct sum of submodules ; suppose the annihilators of the N, () satisfy the above conditions. Then show that N is a characteristic submodule of M. Deduce that if two characteristic submodules of M have the same invariant factors then they are equal.
Solution
No solution has been written yet.