Une propriété d'une variété exprimée par l'existence d'un ou plusieurs termes satisfaisant des identités particulières ; de telles conditions impliquent souvent des traits structurels des congruences et influencent la permutabilité, la modularité ou d'autres comportements treillis-théoriques.

Principe

Une condition de Maltsev affirme qu'il existe des termes t_1,...,t_k dans le langage de la variété tels que certaines identités sont satisfaites dans toute algèbre de la variété ; le principe traduit des identités syntaxiques de termes en régularités sémantiques d'interaction des congruences.

Démonstration

La condition classique de Maltsev pour la permutabilité des congruences est l'existence d'un terme ternaire p(x,y,z) satisfaisant p(x,x,y)=y et p(x,y,y)=x ; les variétés possédant un tel terme ont des congruences qui permutent, comme dans les groupes où p(x,y,z)=xy^{-1}z.

Mauvaise application

Conclure qu'un terme témoin local satisfaisant les identités dans une algèbre suffit pour la condition de Maltsev sur toute la variété ; les conditions de Maltsev exigent que les identités de termes tiennent uniformément dans la variété, pas seulement ponctuellement.

Conséquence

Satisfaire une condition de Maltsev entraîne de fortes conséquences algébriques : contraintes uniformes sur les treillis de congruences (permutabilité, distributivité, modularité), existence d'opérations terme canoniques et simplifications algorithmiques pour des problèmes de décision associés.

Inversion

L'inverse demande quelles propriétés treillis-théoriques des congruences exigent l'existence de certaines identités de termes ; au lieu de partir des termes pour déduire le comportement des congruences, on cherche des termes à partir de phénomènes treillis observés, un problème inverse généralement non trivial.

Limite

Les conditions de Maltsev sont des ponts syntaxe–sémantique en algèbre universelle ; elles concernent seulement les variétés équationnelles et ne s'appliquent pas directement à des structures dépourvues d'un langage de termes uniforme ou à des propriétés non exprimables par des identités.

Tension sémantique

Tension entre témoins concrets de termes (syntaxe) et conséquences abstraites sur les treillis (sémantique) : des phénomènes de treillis identiques peuvent parfois provenir de conditions de termes différentes, rendant la correspondance subtile et non univoque.

Synthèse

Une condition de Maltsev est un schéma équationnel exigeant l'existence de termes satisfaisant des identités données dans une variété ; elle convertit des identités de niveau terme en comportement prédictible des congruences, reliant ainsi la syntaxe des termes à la sémantique de la structure algébrique.