##  [Coherent Ring](/coherent-ring-0) 

 Definition

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

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

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

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

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

Reversal

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

 

 

 

 

 





## Boundary

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

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

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.