symmetric monoidal (∞,1)-category of spectra
Consider a (not necessarily commutative) unital ring . Recall that a left -module is finitely generated if there is an exact sequence of left -modules where is a natural number, and that it is finitely presented (or of finite presentation) if there exists an exact sequence where are natural numbers.
A left coherent module is a left -module which is finitely generated and such that every finitely generated -submodule is finitely presented (equivalently: such that the kernel of any morphism is finitely generated).
Coherent modules behave well over noetherian rings and to some extent more generally over coherent rings.
A geometric globalization of a notion of coherent module is a notion of a coherent sheaf of -modules for a ringed space .
James Milne, section 6 of Lectures on Étale Cohomology
B. Kaup, Coherent D-modules, chapter II of Armand Borel et al., Algebraic D-modules, Perspectives in Mathematics, Academic Press, 1987 (djvu)
Last revised on October 2, 2021 at 14:09:25. See the history of this page for a list of all contributions to it.