Anillo No Coherente

Un anillo en el que algún ideal finitamente generado no es finitamente presentado; equivalentemente, existe un homomorfismo entre módulos libres finitamente generados cuyo núcleo no es finitamente generado. Esto constituye el fallo de la coherencia.