Exercise 5, § 2

Let M be a finitely generated torsion module over a principal ideal domain A. Show that M is a module of finite length; consequently every nonempty set of submodules of M has a maximal element and a minimal element.