Boundedness and periodicity of modules over QF rings (Q1076769)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Boundedness and periodicity of modules over QF rings
scientific article

    Statements

    Boundedness and periodicity of modules over QF rings (English)
    0 references
    0 references
    1986
    0 references
    Let KG be the group algebra of a finite group with coefficients in a field K. For a finitely generated KG-module M, let \(...\to P_ 1\to^{d_ 1}P_ 0\to^{d_ 0}M\to 0\) be a minimal projective resolution. M is called bounded if the lengths of the kernels ker \(d_ i\) have a common upper bound, and M is called periodic if some ker \(d_ i\) is isomorphic to M. In case K is algebraic over its prime field then every bounded KG-module is periodic. In this paper an arbitrary QF ring R is considered instead of a group algebra and a condition is given which forces a bounded module \(M_ R\) to be periodic. 1. Let \(M_ R\) be a bounded module over a QF ring R. Let the ring \(Ext_ R^*(M;M)\) be right noetherian, and let the right \(Ext^*_ R(M;M)\)-module \(Ext^*_ R(M;N)\) be noetherian for every simple module \(N_ R\). Then M is periodic. For a QF algebra R the assumptions on M in 1. are sufficient and necessary. In particular we have: 2. For a bounded module \(M_ R\) over a QF algebra R, the following conditions are equivalent: (i) M is periodic; (ii) The ring \(Ext^*_ R(M;M)\) is right noetherian, and the right \(Ext^*_ R(M;M)\)-module \(Ext^*_ R(M;N)\) is noetherian for every simple module \(N_ R\); (iii) For every finitely generated module \(X_ R\), the right \(Ext^*_ R(M;M)\)-module \(Ext^*_ R(M;X)\) is noetherian.
    0 references
    group algebra
    0 references
    finitely generated KG-module
    0 references
    minimal projective resolution
    0 references
    bounded KG-module
    0 references
    QF ring
    0 references
    QF algebra
    0 references
    periodic
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references