Characterization of rings using direct-projective modules and direct- injective modules (Q1802154)

From MaRDI portal





scientific article; zbMATH DE number 219106
Language Label Description Also known as
default for all languages
No label defined
    English
    Characterization of rings using direct-projective modules and direct- injective modules
    scientific article; zbMATH DE number 219106

      Statements

      Characterization of rings using direct-projective modules and direct- injective modules (English)
      0 references
      0 references
      7 June 1994
      0 references
      A module \(M\) is said to be direct-projective if, given any summand \(N\) of \(M\) with projection \(p:M \to N\) and any epimorphism \(f: M\to N\), there is a \(g\in \text{End}_ R(M)\) such that \(gf = p\). Similarly, a module \(M\) is called direct-injective if given any summand \(N\) of \(M\) with injection \(i: N\to M\) and any monomorphism \(f: N\to M\), there exists a \(g\in \text{End}_ R(M)\) such that \(fg = i\). The author uses direct-projective and direct-injective modules to give new characterizations of hereditary, semihereditary and semisimple rings. For example, he shows that the following are equivalent for any ring \(R\): (1) \(R\) is left hereditary. (2) Every submodule of a projective \(R\)-module is direct-projective. (3) Every principal left ideal of \(S = \text{End}_ R(F)\) is direct- projective for any free \(R\)-module \(F\). (4) Every factor module of an injective \(R\)-module is direct-injective. (5) Every sum of two injective submodules of an \(R\)-module is direct-injective. (6) Every sum of two isomorphic injective submodules of an \(R\)-module is direct-injective.
      0 references
      left hereditary ring
      0 references
      summand
      0 references
      direct-injective modules
      0 references
      semisimple rings
      0 references
      projective \(R\)-module
      0 references
      direct-projective
      0 references
      injective submodules
      0 references
      0 references

      Identifiers