Modules over prime Krull rings (Q1060268): Difference between revisions

Let R be a prime Goldie ring with simple Artinian quotient ring Q and for an essential right ideal I of R identify \(I^*=Hom(I,R)\) with \(\{\) \(q\in Q|\) qI\(\subseteq R\}\). The ring R is a prime Krull ring if R is a maximal order in Q satisfying the ascending chain condition on one-sided ideals closed with respect to the torsion theory determined by the right ideals I such that \(I^*=R\) (plus the left-hand version). The main aim of the paper is to prove the following result: if M is a torsion-less R- module of finite rank then M contains a free module F such that M/F is isomorphic to a right ideal of R. A version of this result, with much stronger hypotheses, has previously been obtained by Chamarie. In fact, more is proved than the above result and some of the results are new even with the stronger assumption that the ring be Noetherian. For example, Corollary 3.5 when restricted to simple Noetherian rings says that any finitely generated torsion module is a submodule of a cyclic module. In connection with this, there is no known example of such a module that is not cyclic. [Note: The hypothesis that \(rk(M)>rk(R)\) has been omitted from the statement of Proposition 2.4.]