Anneau Cohérent
Définition
Un anneau dans lequel tout idéal finiment engendré est finiement présenté ; de façon équivalente, le noyau de tout homomorphisme entre modules libres de type fini est finiment engendré. Cela assure une finitude contrôlée des relations entre générateurs.