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.

Principle

Coherence is a finiteness principle for relations: generators of finitely generated ideals have a finitely generated module of relations, so categories of finitely presented modules have better exactness properties than in arbitrary rings.

Demonstration

Every Noetherian ring is coherent. Concrete coherent examples include Z and polynomial rings in finitely many variables k[x1,...,xn]. In these rings, the kernel of a map between finite free modules is finitely generated, so standard algebraic constructions behave well at the finitely presented level.

Misapplication

Assuming coherence is equivalent to Noetherianness or that coherence automatically extends to certain infinite constructions; also misusing coherence to conclude that all submodules of finitely presented modules are finitely presented without checking hypotheses.

Consequence

Coherence ensures that finitely presented modules form an exact subcategory; kernels and finite-type relations are manageable, enabling control of sheaf-theoretic notions of coherence on schemes and making certain homological calculations feasible without full Noetherianness.

Reversal

A Noncoherent Ring, in which some finitely generated ideal fails to be finitely presented, breaking the finiteness of relations among generators.

Boundary

Coherence is about finite presentation of finitely generated ideals and kernels between finite free modules; it does not imply Noetherianness, Artinianness, nor finite global dimension, and must be checked separately in noncommutative contexts where definitions may vary.

Semantic Tension

There is tension between coherence and Noetherianness: Noetherian rings are coherent, but coherent rings need not be Noetherian. Similarly, coherence focuses on relations while other finiteness properties focus on generation or chain conditions.

Synthesis

A Coherent Ring guarantees that finitely generated ideals have finitely many relations: this intermediate finiteness condition stabilizes kernels of maps between finite modules and preserves many algebraic and geometric constructions that would otherwise require Noetherian hypotheses.