Finiteness Conditions

  • F. E. A. JohnsonEmail author
Part of the Algebra and Applications book series (AA, volume 17)


As no restrictions were placed on the modules involved, the derived module category \(\mathcal{D}\mathrm{er}\) of Chap.  5 has an absolute character. This is unrealistic, and in practice it is necessary to limit the size of modules. Although our primary interest is in modules which are finitely generated, it is inconvenient to impose this restriction from the outset. We assume that the ring Λ is weakly coherent and initially restrict attention to modules which are countably generated. The appropriate derived module category is denoted by \(\mathcal {D}\mathrm{er}_{\infty}\). Recalling that any countably generated module M has a hyperstabilization \(\widehat{M} = M \oplus\varLambda^{\infty}\), the objects of \(\mathcal{D}\mathrm{er}_{\infty}\) have a convenient representation as hyperstable modules. Thereafter we consider the difficulties involved in imposing the more stringent restriction of finite generation; compare (Serre in Prospects in mathematics, Annals of mathematics studies, vol. 70, pp. 77–169. Princeton University Press, Princeton, 1971).


Exact Sequence Isomorphism Class Finite Type Projective Module Stable Module 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 84.
    Serre, J.P.: Cohomologie des groupes discrets. In: Prospects in Mathematics. Annals of Mathematics Studies, vol. 70, pp. 77–169. Princeton University Press, Princeton (1971) Google Scholar
  2. 94.
    Swan, R.G.: Projective modules over binary polyhedral groups. J. Reine Angew. Math. 342, 66–172 (1983) MathSciNetzbMATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag London Limited 2012

Authors and Affiliations

  1. 1.Department of MathematicsUniversity College LondonLondonUK

Personalised recommendations