Une suite ou famille d'opérations terme dans une variété satisfaisant les identités de Jónsson qui caractérisent les variétés à treillis de congruences distributif ; leur existence impose des équations spécifiques qui entraînent la distributivité du treillis des congruences.

Principe

Les termes de Jónsson sont des termes t_0,...,t_n avec des identités alternées les reliant (incluant les identités frontières t_0(x,y)=x, t_n(x,y)=y) telles que la satisfaction de ces identités dans une variété implique que le treillis des congruences de chaque algèbre est distributif ; le principe lie des identités de termes explicites à la distributivité au niveau du treillis.

Démonstration

Dans une variété possédant une suite de termes de Jónsson de longueur appropriée, on peut démontrer que pour deux congruences α,β on a la loi distributive α ∧ (β ∨ γ) = (α ∧ β) ∨ (α ∧ γ) dans Con(A), ainsi les treillis de congruences de toutes les algèbres de la variété sont distributifs.

Mauvaise application

Supposer que la présence de termes d'apparence similaire dans une unique algèbre implique que la variété possède des termes de Jónsson ; les identités doivent tenir uniformément dans la variété, et un mauvais contrôle des arités ou des identités conduit à des affirmations erronées de congruence-distributivité.

Conséquence

Lorsque les termes de Jónsson existent pour une variété, les treillis de congruences sont distributifs, ce qui simplifie l'analyse structurelle, restreint les décompositions subdirectes possibles et entraîne souvent des conséquences plus fortes pour les relations définissables et les algorithmes sur la variété.

Inversion

La question inverse demande quelles propriétés de distributivité des treillis imposent l'existence de termes de Jónsson ; reconstruire des termes à partir de la distributivité du treillis est moins direct et peut dépendre de conditions supplémentaires de finitude ou de définissabilité.

Limite

S'applique dans des variétés équationnelles ; les termes de Jónsson caractérisent la congruence-distributivité mais n'abordent pas d'autres propriétés (comme la permutabilité) sauf s'ils sont combinés à des conditions de termes supplémentaires.

Tension sémantique

Tension entre caractérisations équationnelles (termes de Jónsson explicites) et énoncés abstraits de distributivité en théorie des treillis ; différents systèmes de termes peuvent produire le même résultat distributif, la correspondance n'étant donc pas nécessairement unique.

Synthèse

Les termes de Jónsson forment un mécanisme équationnel explicite : une chaîne finie de termes dont les identités imposent la distributivité dans les treillis de congruences, fournissant un pont concret entre identités au niveau des termes et la propriété globale de distributivité du treillis.