Coherent Ring

A ring in which every finitely generated ideal is finitely presented; equivalently, the kernel of any homomorphism between finitely generated free modules is finitely generated. This gives a controlled finiteness of relations among generators.