Una clase de álgebras axiomatizable por oraciones universales Horn (cuasi‑identidades); equivalente a una clase cerrada por subálgebras, productos directos y ultraproductos (y por isomorfismos), pero no necesariamente por imágenes homomorfas.

Principio

Debilitar el requisito ecuacional permitiendo implicaciones universales Horn entre fórmulas atómicas: los axiomas tienen la forma ‘conjunción de ecuaciones implica una ecuación’; esto produce cierre bajo S (subálgebras), P (productos) y ultraproductos, permitiendo a la vez restricciones no puramente ecuacionales.

Demostración

La clase de grupos abelianos sin torsión puede expresarse por la familia de cuasi‑identidades ‘para cada n>0, n·x = 0 implica x = 0’ junto con las identidades de grupo abeliano; esa clase está cerrada bajo subgrupos, productos directos y ultraproductos, siendo un ejemplo de quasivariedad que no es una variedad porque los cocientes pueden dejar de ser sin torsión.

Aplicación incorrecta

Tratar toda quasivariedad como una variedad y esperar cierre por imágenes homomorfas conducirá a contraejemplos: un cociente de una estructura que satisface los axiomas Horn puede violar las condiciones implicativas y quedar fuera de la clase.

Consecuencia

Las quasivariedades conservan muchas herramientas algebraicas (construcciones por producto y subestructura, ciertas nociones de objetos libres en sentidos restringidos) y proporcionan el marco natural para propiedades expresables por implicación de ecuaciones, conectando álgebra ecuacional y teorías universales más generales.

Inversión

Exigir axiomas puramente ecuacionales refuerza una quasivariedad hasta una variedad y restablece el cierre por imágenes homomorfas y la maquinaria completa de construcciones libres ecuacionales; en la otra dirección (permitir oraciones de primer orden arbitrarias) se pierden las propiedades de cierre Horn uniformes.

Límite

Incluye clases definibles por teoría universal Horn sobre una firma fija; excluye clases que requieran cuantificadores existenciales, disyunciones en cabecera u oraciones universales no Horn, y no garantiza cierre bajo imágenes homomorfas arbitrarias.

Tensión semántica

La tensión principal es entre la comodidad expresiva de las implicaciones Horn (permitiendo ecuaciones condicionales) y la fuerza algebraica de las identidades puras: algunas familias naturales son quasivariedades pero no variedades, lo que genera ambigüedad sobre qué principios de cierre aplicar.

Síntesis

Una quasivariedad es la colección de modelos de axiomas universales Horn: generaliza a las variedades al admitir ecuaciones condicionales, proporciona cierre bajo subálgebras, productos y ultraproductos pero normalmente no bajo imágenes homomorfas arbitrarias, y constituye el intermediario entre las clases ecuacionales y las del primer orden completas.