Colocal pairs in perfect rings (Q1976570): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
Import240304020342 (talk | contribs)
Set profile property.
 
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Latest revision as of 05:26, 5 March 2024

scientific article
Language Label Description Also known as
English
Colocal pairs in perfect rings
scientific article

    Statements

    Colocal pairs in perfect rings (English)
    0 references
    0 references
    0 references
    20 August 2001
    0 references
    A module \(L_A\) over an associative ring with identity, \(A\), is said to be colocal if it has simple essential socle, and a bimodule \(_RL_A\) is a colocal bimodule if both \(_RL\) and \(L_A\) are colocal modules. The authors consider a colocal module over a left or right perfect ring \(A\) and look for conditions for \(L_A\) to be injective. For a subset \(X\) of \(L_A\), and a subset \(M\) of \(A\), let \(l_X(M)=\{x\in X\mid xM=0\}\), and \(r_M(X)=\{a\in M\mid aM=0\}\). Let \(H=\text{End}_A(L_A)\) and \(f\in A\) be a local idempotent with \(\text{soc}(L_A)\cong fA/fJ\) (where \(\text{soc}\) denotes the socle and \(J\) is the Jacobson radical of \(A\)). If \(Af/r_{Af}(L)_{fAf}\) has finite composition length, then the authors show that the following are equivalent: (1) \(L_A\) is injective; (2) \(_HLf_{fAf}\) is a colocal bimodule and \(r_{Af}(L)=0\); (3) \(_HLf_{fAf}\) is a colocal bimodule and \(M=r_{Af}(l_L(M))\) for every submodule \(M\) of \(Af_{fAf}\). The paper also contains other similar results with injectivity replaced by more general conditions.
    0 references
    colocal modules
    0 references
    colocal pairs
    0 references
    perfect rings
    0 references
    injective modules
    0 references
    quasi-injective modules
    0 references
    simple-injective modules
    0 references

    Identifiers