symmetric monoidal (∞,1)-category of spectra
A ring is (left) coherent if every finitely generated (left) ideal of this ring is finitely presented. Equivalently, a ring is coherent if and only if it is a (left) coherent module over itself.
Every (left) noetherian ring is a coherent ring.
Lombardi & Quitté 2015 argue that coherent rings are more suited to constructive mathematics than noetherian rings. This is probably connected to the importance of coherent sheaves.
V. E. Govorov in Springer eom: Coherent ring
Henri Lombardi and Claude Quitté, Commutative Algebra: Constructive Methods: Finite Projective Modules, Springer, 2015 (arXiv:1605.04832, doi:10.1007%2F978-94-017-9944-7)
Jacob Lurie, Higher Algebra, 2017 (pdf)
Last revised on January 13, 2025 at 21:03:52. See the history of this page for a list of all contributions to it.