Rings whose modules have maximal or minimal injectivity domains. (Q555579): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 6 users not shown) | |||
Property / author | |||
Property / author: Q308122 / rank | |||
Property / author | |||
Property / author: Sergio R. López-Permouth / rank | |||
Normal rank | |||
Property / review text | |||
Let \(M\) be a unital right \(R\)-module and \(R\) an associative ring with identity. The domain of injectivity of \(M\) is denoted by \(\text{In}^{-1}(M)\), i.e., \(\text{In}^{-1}(M)=\{N\in\text{Mod-}R\mid M\) is \(N\)-injective\}. Of course this domain always includes the semisimple modules; a module has been called poor if \(\text{In}^{-1}(M)\) consists only of semisimple modules [\textit{A. N. Alahmadi, M. Alkan} and \textit{S. R. López-Permouth}, Glasg. Math. J. 52A, 7-17 (2010; Zbl 1228.16004)]. Two constructions of poor modules are given, thereby showing that every ring has a poor module. A module \(M\) is said to crumble if the socles of all factors of \(M\) split. In the paper referred to above, certain semisimple modules that are poor were found; here it is shown that a ring \(R\) has a semisimple poor right module if and only if every (cyclic) right \(R\)-module that crumbles is semisimple, if and only if the only locally Noetherian right \(V\)-modules are the semisimple ones. In the paper of Alahmadi, Alkan and López-Permouth [see reference above], a ring \(R\) was defined to have no (right) middle class if each right \(R\)-module is either injective or poor. Investigating this concept further, it is shown that a ring with no right middle class is the ring direct sum of a semisimple Artinian ring and a ring \(T\) which is either zero or one of the following types: (i) Morita equivalent to a right PCI-domain, (ii) an indecomposable right SI-ring which is either right Artinian or a ring \(V\)-ring, and such that \(\text{soc}(T_T)\) is homogeneous and essential in \(T_T\) and \(T\) has a unique simple singular right module, or (iii) an indecomposable right Artinian ring with homogeneous right socle coinciding with the Jacobson radical and the right singular ideal, and with unique non-injective simple right module. In the third case, \(T\) is either a QF-ring with \(J(T)^2=0\) or poor as a right module. The proof is done by means of a series of lemmas which are also of interest on their own. For example, any ring \(R\) with no right middle class is either right semiartinian or right Noetherian, and if \(R\) is also nonzero and has a singular right socle, then \(R\) is right Artinian. Examples show that the three cases of the theorem are indeed possible. Some partial answers are obtained to the question if the inverse of the theorem discussed above is true. For example, if \(R\) is a right Artinian right SI-ring with homogeneous right socle and a unique (nonsingular) local module of length 2 up to isomorphism, then \(R\) has no right middle class. If \(R\) is a (non-semisimple) QF-ring with homogeneous right socle and \(J(R)^2=0\), then \(R\) is shown to have no right middle class. | |||
Property / review text: Let \(M\) be a unital right \(R\)-module and \(R\) an associative ring with identity. The domain of injectivity of \(M\) is denoted by \(\text{In}^{-1}(M)\), i.e., \(\text{In}^{-1}(M)=\{N\in\text{Mod-}R\mid M\) is \(N\)-injective\}. Of course this domain always includes the semisimple modules; a module has been called poor if \(\text{In}^{-1}(M)\) consists only of semisimple modules [\textit{A. N. Alahmadi, M. Alkan} and \textit{S. R. López-Permouth}, Glasg. Math. J. 52A, 7-17 (2010; Zbl 1228.16004)]. Two constructions of poor modules are given, thereby showing that every ring has a poor module. A module \(M\) is said to crumble if the socles of all factors of \(M\) split. In the paper referred to above, certain semisimple modules that are poor were found; here it is shown that a ring \(R\) has a semisimple poor right module if and only if every (cyclic) right \(R\)-module that crumbles is semisimple, if and only if the only locally Noetherian right \(V\)-modules are the semisimple ones. In the paper of Alahmadi, Alkan and López-Permouth [see reference above], a ring \(R\) was defined to have no (right) middle class if each right \(R\)-module is either injective or poor. Investigating this concept further, it is shown that a ring with no right middle class is the ring direct sum of a semisimple Artinian ring and a ring \(T\) which is either zero or one of the following types: (i) Morita equivalent to a right PCI-domain, (ii) an indecomposable right SI-ring which is either right Artinian or a ring \(V\)-ring, and such that \(\text{soc}(T_T)\) is homogeneous and essential in \(T_T\) and \(T\) has a unique simple singular right module, or (iii) an indecomposable right Artinian ring with homogeneous right socle coinciding with the Jacobson radical and the right singular ideal, and with unique non-injective simple right module. In the third case, \(T\) is either a QF-ring with \(J(T)^2=0\) or poor as a right module. The proof is done by means of a series of lemmas which are also of interest on their own. For example, any ring \(R\) with no right middle class is either right semiartinian or right Noetherian, and if \(R\) is also nonzero and has a singular right socle, then \(R\) is right Artinian. Examples show that the three cases of the theorem are indeed possible. Some partial answers are obtained to the question if the inverse of the theorem discussed above is true. For example, if \(R\) is a right Artinian right SI-ring with homogeneous right socle and a unique (nonsingular) local module of length 2 up to isomorphism, then \(R\) has no right middle class. If \(R\) is a (non-semisimple) QF-ring with homogeneous right socle and \(J(R)^2=0\), then \(R\) is shown to have no right middle class. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Frieda Theron / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16D50 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16D60 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16D70 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16D10 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5931654 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
injective modules | |||
Property / zbMATH Keywords: injective modules / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
poor modules | |||
Property / zbMATH Keywords: poor modules / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
injectivity domains | |||
Property / zbMATH Keywords: injectivity domains / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
middle classes | |||
Property / zbMATH Keywords: middle classes / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
semisimple modules | |||
Property / zbMATH Keywords: semisimple modules / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
direct sums | |||
Property / zbMATH Keywords: direct sums / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
V-rings | |||
Property / zbMATH Keywords: V-rings / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
PCI-domains | |||
Property / zbMATH Keywords: PCI-domains / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Noetherian rings | |||
Property / zbMATH Keywords: Noetherian rings / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Artinian rings | |||
Property / zbMATH Keywords: Artinian rings / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
SI-rings | |||
Property / zbMATH Keywords: SI-rings / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
QF-rings | |||
Property / zbMATH Keywords: QF-rings / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q123240348 / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.jalgebra.2010.10.038 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1963795372 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: POOR MODULES: THE OPPOSITE OF INJECTIVITY / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hereditary QI-Rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rings over which certain modules are injective / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rings Whose Quasi-Injective Modules are Injective / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homological properties of the ring of differential polynomials / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4073499 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4843160 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5324244 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: When are proper cyclics injective? / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On hereditary rings and Boyle's conjecture / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4101984 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Singular torsion and the splitting properties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Structure of some Noetherian SI rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On a class of non-noetherian V-ring / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An approach to Boyle's conjecture / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4224184 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cyclic modules whose quotients have all complement submodules direct summands / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On rings whose artinian modules are precisely noetherian modules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On rings whose simple modules are injective / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 08:39, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Rings whose modules have maximal or minimal injectivity domains. |
scientific article |
Statements
Rings whose modules have maximal or minimal injectivity domains. (English)
0 references
25 July 2011
0 references
Let \(M\) be a unital right \(R\)-module and \(R\) an associative ring with identity. The domain of injectivity of \(M\) is denoted by \(\text{In}^{-1}(M)\), i.e., \(\text{In}^{-1}(M)=\{N\in\text{Mod-}R\mid M\) is \(N\)-injective\}. Of course this domain always includes the semisimple modules; a module has been called poor if \(\text{In}^{-1}(M)\) consists only of semisimple modules [\textit{A. N. Alahmadi, M. Alkan} and \textit{S. R. López-Permouth}, Glasg. Math. J. 52A, 7-17 (2010; Zbl 1228.16004)]. Two constructions of poor modules are given, thereby showing that every ring has a poor module. A module \(M\) is said to crumble if the socles of all factors of \(M\) split. In the paper referred to above, certain semisimple modules that are poor were found; here it is shown that a ring \(R\) has a semisimple poor right module if and only if every (cyclic) right \(R\)-module that crumbles is semisimple, if and only if the only locally Noetherian right \(V\)-modules are the semisimple ones. In the paper of Alahmadi, Alkan and López-Permouth [see reference above], a ring \(R\) was defined to have no (right) middle class if each right \(R\)-module is either injective or poor. Investigating this concept further, it is shown that a ring with no right middle class is the ring direct sum of a semisimple Artinian ring and a ring \(T\) which is either zero or one of the following types: (i) Morita equivalent to a right PCI-domain, (ii) an indecomposable right SI-ring which is either right Artinian or a ring \(V\)-ring, and such that \(\text{soc}(T_T)\) is homogeneous and essential in \(T_T\) and \(T\) has a unique simple singular right module, or (iii) an indecomposable right Artinian ring with homogeneous right socle coinciding with the Jacobson radical and the right singular ideal, and with unique non-injective simple right module. In the third case, \(T\) is either a QF-ring with \(J(T)^2=0\) or poor as a right module. The proof is done by means of a series of lemmas which are also of interest on their own. For example, any ring \(R\) with no right middle class is either right semiartinian or right Noetherian, and if \(R\) is also nonzero and has a singular right socle, then \(R\) is right Artinian. Examples show that the three cases of the theorem are indeed possible. Some partial answers are obtained to the question if the inverse of the theorem discussed above is true. For example, if \(R\) is a right Artinian right SI-ring with homogeneous right socle and a unique (nonsingular) local module of length 2 up to isomorphism, then \(R\) has no right middle class. If \(R\) is a (non-semisimple) QF-ring with homogeneous right socle and \(J(R)^2=0\), then \(R\) is shown to have no right middle class.
0 references
injective modules
0 references
poor modules
0 references
injectivity domains
0 references
middle classes
0 references
semisimple modules
0 references
direct sums
0 references
V-rings
0 references
PCI-domains
0 references
Noetherian rings
0 references
Artinian rings
0 references
SI-rings
0 references
QF-rings
0 references