Anillo Coherente

Un anillo en el que todo ideal finitamente generado es finitamente presentado; equivalentemente, el núcleo de cualquier homomorfismo entre módulos libres de tipo finito es finitamente generado. Esto proporciona una finitud controlada de las relaciones entre generadores.