Una clase de álgebras finitas (para una firma fija) cerrada por productos directos finitos, subálgebras e imágenes homomorfas; se estudia típicamente en el contexto de estructuras algebraicas finitas donde las propiedades de cierre infinitarias no son apropiadas.

Principio

Restringir las condiciones clásicas de cierre (H, S, P) al ámbito finito: exigir cierre bajo esas construcciones cuando las estructuras resultantes siguen siendo finitas, enfatizando el comportamiento combinatorio y computacional finito en lugar de productos o ultraproductos infinitos arbitrarios.

Demostración

La clase de todos los grupos finitos es una pseudovariedad: los productos directos finitos de grupos finitos son grupos finitos, los subgrupos de grupos finitos son finitos y las imágenes homomorfas de grupos finitos son finitas; por tanto la clase es estable bajo estas operaciones finitas y es un objeto central en la investigación de álgebra finita.

Aplicación incorrecta

Asumir que las pseudovariedades heredan todas las propiedades de las variedades, como cierre bajo productos directos arbitrarios o existencia de objetos libres en el mismo sentido; estas suposiciones fallan porque las construcciones infinitas suelen estar fuera del ámbito finito.

Consecuencia

Las pseudovariedades posibilitan enfoques por modelos finitos y computacionales (problemas de decisión, descomposiciones estructurales con bloques finitos) y sustentan análisis algebraicos donde la finitud —y por tanto métodos combinatorios y reconocibilidad finita— es esencial.

Inversión

Levantar la restricción de finitud (exigir cierre bajo productos e imágenes homomorfas arbitrarias sin condición de finitud) conduce a variedades; a la inversa, renunciar al cierre bajo imágenes o productos debilita la clase hacia familias ad hoc de estructuras finitas.

Límite

Por definición, concierne únicamente a las álgebras finitas y al cierre bajo productos finitos; excluye productos directos infinitos, ultraproductos arbitrarios y construcciones libres infinitas, y debe especificarse si la firma es fija y finitaria.

Tensión semántica

La tensión surge entre el enfoque finito de las pseudovariedades (útil para teoría computacional y combinatoria) y la generalidad algebraica de variedades y quasivariedades: algunos fenómenos aparecen en el ámbito finito pero no se extienden cuando se permiten operaciones infinitarias.

Síntesis

Una pseudovariedad es el análogo restringido por finitud de una variedad: una clase de álgebras finitas cerrada por productos finitos, subálgebras e imágenes homomorfas, que constituye el marco natural para la clasificación algebraica finita y los resultados orientados a la computación.