Fallo de la Presentación Finita

Fenómeno en el que un objeto algebraico (álgebra, módulo, funtor, esquema u otro) no puede ser descrito mediante un número finito de generadores junto con un número finito de relaciones; en otras palabras, no es isomorfo a un cociente de un objeto libre finitamente generado por un ideal de relaciones finitamente generado.