Characterization of rings using direct-projective modules and direct- injective modules (Q1802154)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Characterization of rings using direct-projective modules and direct- injective modules |
scientific article; zbMATH DE number 219106
| Language | Label | Description | Also known as |
|---|---|---|---|
| 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
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