Terme de Maltsev
- Mathematics & Logic -
Pure Mathematics Dictionary
Définition
Un terme ternaire m(x,y,z) dans le langage d'une variété vérifiant m(x,x,y)=y et m(x,y,y)=x ; l'existence d'un tel terme caractérise les variétés dont les congruences sont permutables (variétés de Mal'cev).