## [Variété (Algèbre Universelle)](/fr/node/63578) Définition Une classe d’algèbres pour une signature fixée, fermée par images homomorphes, sous‑algèbres et produits directs arbitraires ; équivalente aux modèles d’un ensemble d’identités algébriques (équations). ## Principe Principe Axiomatisation équationnelle : un ensemble d’identités détermine une classe fermée sous les opérations H (images homomorphes), S (sous‑algèbres) et P (produits directs) ; réciproquement, toute classe avec ces propriétés de fermeture est définissable par des identités sur la signature. ## Démonstration Démonstration La classe de tous les groupes, présentés pour la signature de groupes avec les identités usuelles (associativité, élément neutre, lois d’inverse écrites comme équations avec une opération inverse unaire), est une variété : elle est fermée par sous‑groupes, quotients (images homomorphes) et produits directs de groupes. ## Mauvaise application Mauvaise application Supposer qu’une variété peut être caractérisée par des phrases du premier ordre arbitraires ou par fermetures sous ultraproducts seulement ; ceci confond la définissabilité équationnelle avec des propriétés model‑théoriques plus larges et conduit à des attentes incorrectes de fermeture. ## Conséquence Conséquence Les variétés possèdent des objets libres sur tout ensemble de générateurs, une théorie de la structure fondée sur les congruences, et permettent le raisonnement équationnel : vérifier une identité dans la variété revient à des réécritures de termes et à des manipulations syntaxiques dans les algèbres libres engendrées. ## Inversion Inversion Une classe fermée seulement sous sous‑algèbres et produits mais pas sous images homomorphes (ou axiomisée par des implications plutôt que par des identités) n’est pas une variété mais une classe plus faible comme une quasivariété ; inverser les axiomes de fermeture change substantiellement le comportement model‑théorique. ## Limite Limite S’applique aux classes définissables par des axiomes purement équationnels dans une signature finitaire ; exclut les classes nécessitant des implications entre formules atomiques, des quantificateurs existentiels ou d’autres contraintes non équationnelles, et les propriétés qui échouent la fermeture sous produits directs arbitraires. ## Tension sémantique Tension sémantique Il existe une tension entre variétés (fermeture équationnelle) et quasivariétés ou classes élémentaires : une même famille intuitive de structures peut être décrite équationnellement ou nécessiter des axiomes Horn ou du premier ordre complet, ce qui affecte les opérations de fermeture et les constructions libres. ## Synthèse Synthèse Une variété est exactement une classe d’algèbres définie par équations pour une signature, caractérisée par la fermeture sous images homomorphes, sous‑algèbres et produits arbitraires ; cette équivalence relie les identités syntactiques à des propriétés de fermeture algébrique et à l’existence d’algèbres libres.