In mathematics, a 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.... Wikipedia