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.