On maximal injectivity. (Q2505362): Difference between revisions
From MaRDI portal
Latest revision as of 20:16, 24 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On maximal injectivity. |
scientific article |
Statements
On maximal injectivity. (English)
0 references
4 October 2006
0 references
A right \(R\)-module \(E\) is defined to be maximally injective (max-injective) if for any maximal right ideal \(m\) of \(R\), each right \(R\)-homomorphism \(f\colon m\to E\) can be extended to an \(R\)-homomorphism \(f'\colon R\to E\). A ring \(R\) is said to be right max-injective if \(R_R\) is max-injective. A right \(R\)-module \(E\) (\(R\) any ring) is shown to be right max-injective if and only if \(\text{Ext}_R^1(R/m,E)=0\) for every maximal right ideal \(m\leq R_R\). If a ring \(R\) is right max-injective, its Jacobson radical is contained in its right singular ideal. An example proves that a ring \(R\) may be max-injective, without being self-injective. Faith's conjecture [see \textit{C. Faith} and \textit{D. V. Huynh}, J. Algebra Appl. 1, No. 1, 75-105 (2002; Zbl 1034.16005)] states that every left (or right) perfect, right self-injective ring is QF. The authors show that Faith's conjecture is equivalent to the following statement: Any left perfect, right max-injective ring \(R\) is QF. They then prove that Faith's conjecture is true for the case where the ring \(R\) also satisfies the left *-condition, i.e. \(l(I)/l(m)\) is finitely generated for any pair \(I\leq m\) of right ideals such that \(m\) is maximal. Left perfect right max-injective rings are studied further. Every injective right \(R\)-module \(E\) over a left perfect right max-injective ring is shown to be the injective hull of a projective submodule. This result may be considered as an approximation to Faith's conjecture.
0 references
maximally injective modules
0 references
max-injective modules
0 references
max-injective rings
0 references
self-injective rings
0 references
quasi-Frobenius rings
0 references
QF-rings
0 references