Coherent ring

In mathematics, a (left) coherent ring is a ring in which every finitely generated left ideal is finitely presented.

Many theorems about finitely generated modules over Noetherian rings can be extended to finitely presented modules over coherent rings.

Every left Noetherian ring is left-coherent. The ring of polynomials in an infinite number of variables is an example of a left-coherent ring that is not left Noetherian.

A ring is left coherent if and only if every direct product of flat right modules is flat (Chase 1960), (Anderson & Fuller 1992, p. 229). Compare this to: A ring is left Noetherian if and only if every direct sum of injective left modules is injective.

References

• Anderson, Frank Wylie; Fuller, Kent R (1992), Rings and Categories of Modules, Berlin, New York: Springer-Verlag, ISBN 978-0-387-97845-1 
• Chase, Stephen U. (1960), "Direct products of modules", Transactions of the American Mathematical Society, American Mathematical Society, 97 (3): 457–473, JSTOR 1993382, MR 0120260, doi:10.2307/1993382 
• Govorov, V.E. (2001) [1994], "Coherent_ring", in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4