Álgebra con Presentación Finita

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.