Une classe d’algèbres finies (pour une signature fixée) fermée par produits directs finis, sous‑algèbres et images homomorphes ; étudiée principalement dans le contexte des structures algébriques finies où les propriétés de fermeture infinitaires ne sont pas pertinentes.

Principe

Restreindre les conditions de fermeture classiques (H, S, P) au domaine des objets finis : exiger la fermeture sous ces constructions lorsque les structures résultantes restent finies, en mettant l’accent sur le comportement combinatoire et algorithmique fini plutôt que sur les produits ou ultraproducts arbitraires infinis.

Démonstration

La classe de tous les groupes finis est une pseudovariété : les produits directs finis de groupes finis sont des groupes finis, les sous‑groupes de groupes finis sont finis, et les images homomorphes de groupes finis sont finies ; la classe est donc stable par ces opérations finies et constitue un objet central en algèbre finie.

Mauvaise application

Supposer que les pseudovariétés héritent de toutes les propriétés des variétés, telles que la fermeture sous produits directs arbitraires ou l’existence d’objets libres au même sens ; ces suppositions échouent car les constructions infinies sortent du domaine fini.

Conséquence

Les pseudovariétés permettent des approches par modèles finis et computationnelles (problèmes de décision, décompositions structurelles à partir d’éléments finis) et soutiennent des analyses algébriques où la finitude — et donc les méthodes combinatoires et la reconnaissabilité finie — est essentielle.

Inversion

Supprimer la restriction de finitude (exiger la fermeture sous produits et images homomorphes arbitraires sans condition de finitude) donne des variétés ; inversement, renoncer à la fermeture sous images ou produits affaiblit la classe vers des familles plus ad hoc de structures finies.

Limite

Par définition, concerne uniquement les algèbres finies et la fermeture sous produits finis ; exclut les produits directs infinis, les ultraproducts arbitraires et les constructions libres infinies, et il faut préciser si la signature est fixée et finitaire.

Tension sémantique

La tension porte sur l’accent mis sur le caractère fini des pseudovariétés (utile pour la théorie computationnelle et combinatoire) versus la généralité algébrique des variétés et quasivariétés : certains phénomènes existent dans le domaine fini mais ne se prolongent pas lorsque des opérations infinitaires sont autorisées.

Synthèse

Une pseudovariété est l’analogue à restriction de finitude d’une variété : une classe d’algèbres finies, fermée par produits finis, sous‑algèbres et images homomorphes, servant de cadre naturel à la classification algébrique finie et aux résultats à visée computationnelle.