Coherent ring

Symbol-free definition
A commutative unital ring is termed coherent if it satisfies the following equivalent conditions:


 * Every finitely generated module over it is finitely presented
 * Every finitely generated ideal over it is finitely presented

Stronger properties

 * Noetherian ring