Une classe d'algèbres finies close par produits directs finis, sous-algèbres, et images homomorphes ; considérée dans une signature algébrique fixée et pertinente pour les applications aux modèles finis et à la théorie des automates.

Principe

La finitude combinée à la clôture par les trois opérations (quotients, sous-structures, produits finis) constitue la contrainte organisatrice ; elle saisit le comportement algébrique restreint aux membres finis.

Démonstration

La classe de tous les monoïdes finis apériodiques (monoïdes dont les sous-groupes sont triviaux) est une pseudovariété utilisée en théorie des langages formels ; elle est close par produits finis, sous-monoïdes et images homomorphes parmi les monoïdes finis.

Mauvaise application

Étirer les affirmations de clôture aux produits arbitraires (éventuellement infinis) ou aux ultraproduits ; ou traiter une pseudovariété comme une variété en attendant la clôture par images homomorphes d'algèbres infinies.

Conséquence

Les pseudovariétés se lient aux questions de décidabilité et reconnaissabilité pour les langages réguliers et conduisent à des techniques profinies et topologiques finies ; elles admettent des théorèmes de décomposition et de structure adaptés aux objets finis.

Inversion

Une variété ou une quasivariété qui inclut des algèbres infinies et utilise la clôture par produits arbitraires et ultraproduits s'oppose à une pseudovariété, laquelle se restreint explicitement aux algèbres finies et aux produits finis.

Limite

Classe strictement d'algèbres finies ; exclut les algèbres infinies et la clôture par produits infinis ; les définitions et résultats concernant les pseudovariétés reposent généralement sur la finitude et échouent sans elle.

Tension sémantique

Entre pseudovariété et quasivariété/variété : les pseudovariétés mettent l'accent sur la finitude et la clôture par quotients, adaptées aux applications en théorie des automates et des langages, alors que les quasivariétés insistent sur l'axiomatisation logique par Horn et permettent des constructions infinies.

Synthèse

Une pseudovariété est l'analogue fini des classes de clôture algébriques : elle regroupe des algèbres finies stables par sous-algèbres, produits finis et quotients, fournissant un cadre adapté à l'analyse algébrique en modèles finis et aux décompositions combinatoires.