Kohärenter Ring

Ein Ring, in dem jedes endlich erzeugte Ideal endlich präsentiert ist; äquivalent dazu ist, dass der Kern jeder Abbildung zwischen endlich erzeugten freien Moduln endlich erzeugt ist. Das liefert eine kontrollierte Finitheit der Relationen zwischen Erzeugern.