## [Álgebra con Presentación Finita](/es/node/62442) Definición Un álgebra que admite una presentación por un conjunto finito de generadores junto con un conjunto finito de ecuaciones definitorias (relaciones) entre esos generadores; equivalentemente, es un cociente de un álgebra libre sobre generadores finitos por una congruencia generada por un número finito de pares de términos. ## Principio Principio La presentación finita comprime toda la estructura del álgebra en una descripción sintáctica finita: un conjunto finito de generadores y un número finito de relaciones bastan para recuperar el álgebra como cociente del álgebra libre correspondiente. ## Demostración Demostración Ejemplos concretos: el grupo cíclico de orden n con presentación ⟨a | a^n = e⟩, o el grupo diédrico D_n con ⟨r,s | r^n = e, s^2 = e, srs = r^{-1}⟩; estos grupos se obtienen como cocientes de grupos libres sobre finitos generadores por el cierre normal de finitos reladores. ## Aplicación incorrecta Aplicación incorrecta Suponer que la presentabilidad finita implica finitud del conjunto subyacente (un álgebra finitamente presentada puede ser infinita), o deducir decidibilidad de problemas estructurales (problema de la palabra, isomorfismo) únicamente de la presentación finita sin hipótesis adicionales. ## Consecuencia Consecuencia Las presentaciones finitas hacen que los álgebra sean accesibles a técnicas combinatorias y algorítmicas, permiten estudiar propiedades mediante reladores; además permiten construir familias de álgebra variando relaciones y facilitan la experimentación computacional. ## Inversión Inversión Un álgebra que requiere infinitas relaciones definitorias o infinitos generadores es la noción inversa; pasar de presentación finita a infinita aumenta típicamente la complejidad y puede alterar propiedades de decidibilidad. ## Límite Límite La presentabilidad finita se entiende respecto a una firma/variedad elegida; algunas variedades no conservan la presentabilidad finita bajo construcciones naturales. Es una condición más fuerte que la generación finita y no implica finitud del soporte. Excluye presentaciones que requieran relaciones o generadores infinitos. ## Tensión semántica Tensión semántica Tensión entre 'finitamente generado' y 'finitamente presentado': lo primero exige generadores finitos, lo segundo exige además relaciones finitas. Nociones afines en geometría algebraica o teoría de grupos coinciden parcialmente pero tienen matices distintos. ## Síntesis Síntesis Un álgebra finitamente presentada es un codificado sintáctico compacto de un objeto algebraico: especificado por generadores finitos y relaciones finitas y realizado como cociente de un álgebra libre; es útil para construcción y cómputo, pero no garantiza cardinalidad finita ni decidibilidad.