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.

Principio

La presentación finita organiza objetos por una descripción finita: un conjunto finito de generadores y un conjunto finito de relaciones. El fallo implica una dependencia esencial de infinitos parámetros o restricciones que no pueden truncarse sin cambiar el objeto.

Demostración

Ejemplo: la álgebra k[x_1,x_2,…] de polinomios en infinitas variables contables no es finitamente presentada como k-álgebra. Como módulo, un límite directo de módulos libres con rango estrictamente creciente puede producir un módulo finitamente generado pero no finitamente presentado. Para fonctores, Hom(R,–) puede dejar de conmutar con colímites dirigidos cuando el objeto representativo no es finitamente presentado.

Aplicación incorrecta

Confundir generación finita con presentación finita (por ejemplo, concluir que la cohomología se anula porque un módulo es finitamente generado) o suponer que la presentación finita desciende automáticamente a subobjetos, cocientes o cambios de base sin comprobar hipótesis como coherencia o noetherianidad.

Consecuencia

Reconocer este fallo obliga a usar técnicas de límites/colímites, fonctores derivados o presentaciones infinitas explícitas. Explica patologías: la no conmutación de Ext o Hom con colímites, la existencia de relaciones infinitas en problemas de deformación y las obstrucciones a la clasificación algorítmica.

Inversión

El concepto inverso es la presentación finita: un objeto que admite un conjunto finito de generadores y un conjunto finito de relaciones definitorias. Invertir el fallo conduce a control, verificabilidad algorítmica y propiedades categóricas mejoradas.

Límite

Se aplica a estructuras algebraicas (álgebras, módulos, anillos, fonctores, esquemas) y sus presentaciones. Se distingue de la mera no generación finita (un objeto puede ser finitamente generado pero no finitamente presentado). Excluye cuestiones puramente cardinales no relacionadas con relaciones algebraicas y propiedades que sólo son válidas tras localización o completación, salvo indicación en contrario.

Tensión semántica

Generación finita frente a presentación finita: la generación finita es una noción más débil y a menudo se confunde con la presentación finita en el uso informal. Existe también tensión con nociones de coherencia, noetherianidad y compacidad categórica, donde un 'objeto compacto' desempeña un papel similar al de 'finitamente presentado'.

Síntesis

El fallo de la presentación finita identifica objetos algebraicos que resisten una descripción finita por generadores y relaciones; indica restricciones esenciales infinitas, exige métodos de límites y derivados y debe distinguirse de la mera generación infinita para evitar inferencias erróneas.