Propiedad de un módulo o una álgebra que indica que admite una descripción mediante un número finito de generadores y un número finito de relaciones; equivalentemente existe una sucesión exacta R^m → R^n → M → 0 con m,n finitos.

Principio

La finitud tanto de generadores como de relaciones proporciona un dato finito que determina el objeto y hace efectivas y bien comportadas muchas construcciones algebraicas.

Demostración

Una k‑álgebra A = k[x1,...,xn]/(f1,...,fm) cuyo ideal está generado por el conjunto finito {f1,...,fm} es de presentación finita como k‑álgebra. Como R‑módulo, M presentado por una matriz finita R^m → R^n es de presentación finita.

Aplicación incorrecta

Suponer que todo módulo finitamente generado es de presentación finita; hay contraejemplos cuando el módulo necesita infinitas relaciones (por ejemplo ciertos submódulos de módulos libres).

Consecuencia

La presentación finita se conserva por cambio de base y por localización; es una hipótesis clave para la representabilidad de funtores y para asegurar control de tipo finito en mapas entre esquemas o álgebras.

Inversión

Un objeto de presentación infinita puede tener generadores finitos pero relaciones infinitas; tales objetos no admiten una parametrización finita.

Límite

Se refiere a presentaciones algebraicas (módulo/álgebra) sobre un anillo fijo; las completaciones topológicas, los pro‑objetos o las presentaciones con relaciones infinitas quedan fuera salvo que se especifique estructura adicional.

Tensión semántica

Existe tensión entre 'tipo finito' (generado finitamente) y 'presentación finita' —el primero omite relaciones, el segundo exige que también sean finitas.

Síntesis

La presentación finita significa que el objeto queda completamente codificado por una lista finita de generadores y una lista finita de relaciones, proporcionando una descripción algebraica compacta y estable frente a localización y cambio de base.