Anneau Non Cohérent

Un anneau dans lequel un certain idéal finiment engendré n'est pas finiement présenté ; équivalemment, il existe un homomorphisme entre modules libres de type fini dont le noyau n'est pas finiment engendré. Il s'agit de la défaillance de la cohérence.