Modules over prime Krull rings (Q1060268)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Modules over prime Krull rings
scientific article

    Statements

    Modules over prime Krull rings (English)
    0 references
    1985
    0 references
    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.]
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    prime Goldie ring
    0 references
    simple Artinian quotient ring
    0 references
    prime Krull ring
    0 references
    maximal order
    0 references
    ascending chain condition
    0 references
    torsion-less R-module of finite rank
    0 references
    simple Noetherian rings
    0 references
    finitely generated torsion module
    0 references
    submodule of a cyclic module
    0 references
    0 references
    0 references