## [Presentación Finita](/es/node/63865) Definición 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 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 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 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 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 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 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 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 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.