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)
Last revised on October 1, 2021 at 15:35:11. See the history of this page for a list of all contributions to it.