Un término ternario m(x,y,z) en el lenguaje de una variedad que satisface m(x,x,y)=y y m(x,y,y)=x; la existencia de tal término caracteriza las variedades cuyas congruencias permutan (variedades de Mal'cev).

Principio

Una única operación ternaria con las dos identidades definitorias proporciona un testigo sintáctico de que dos congruencias cualesquiera conmutan bajo composición relacional, porque el término permite intercambiar representantes equivalentes.

Demostración

En la variedad de grupos se puede tomar m(x,y,z)=x y^{-1} z; efectivamente m(x,x,y)=x x^{-1} y=y y m(x,y,y)=x y^{-1} y=x, y las congruencias de grupo (subgrupos normales) conmutan en consecuencia.

Aplicación incorrecta

Suponer que una operación binaria con identidades aparentemente similares es suficiente, o confundir la existencia de un conmutador binario con la de un término de Maltsev; ambos errores omiten las identidades ternarias precisas necesarias para forzar la permutabilidad de congruencias.

Consecuencia

Si una variedad admite un término de Maltsev, entonces las congruencias permutan y se derivan numerosas consecuencias estructurales: simplificación de ecuaciones, teoremas de descomposición y un tratamiento más manejable de identidades de congruencia.

Inversión

La ausencia de un término de Maltsev indica que la variedad puede presentar congruencias no permutables y retículos de congruencia más complicados; la propiedad inversa se expresa mediante términos que atestiguan la no permutabilidad (p. ej., términos de Day en contextos distributivos).

Límite

La noción presupone una variedad (clase ecuacional) y términos en su lenguaje; no se aplica a estructuras puramente relacionales ni a enunciados sobre permutabilidad formulados únicamente de forma semántica sin operaciones termales.

Tensión semántica

Conceptos relacionados: 'variedad de Mal'cev' (propiedad global de la clase) y 'operación de Maltsev' como término específico; la tensión surge frente a otras condiciones de término (p. ej., distributividad o modularidad de congruencias) que generan comportamientos distintos de conmutación.

Síntesis

Un término de Maltsev es una operación ternaria que satisface dos identidades involutivas cuya presencia certifica algebraicamente que las congruencias de la variedad conmutan, proporcionando un comportamiento de congruencias similar al de los grupos.