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

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

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

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

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

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

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 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

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.