##  [Condition de Maltsev](/fr/node/63624) 

 Définition

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

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

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

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

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

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

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 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

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.