Ein ternärer Term m(x,y,z) in der Sprache einer Varietät mit den Identitäten m(x,x,y)=y und m(x,y,y)=x; die Existenz eines solchen Terms charakterisiert Varietäten mit vertauschbaren Kongruenzen (Mal'cev-Varietäten).

Prinzip

Ein einzelner ternärer Operator mit den beiden definierenden Identitäten liefert ein syntaktisches Zeugnis dafür, dass beliebige Kongruenzen unter relationaler Komposition kommutieren, weil der Term den Wechsel zwischen äquivalenten Repräsentanten vermittelt.

Demonstration

In der Varietät der Gruppen kann man m(x,y,z)=x y^{-1} z wählen; dann gilt m(x,x,y)=x x^{-1} y=y und m(x,y,y)=x y^{-1} y=x, und Gruppenkongruenzen (normale Untergruppen) vertauschen entsprechend.

Fehlanwendung

Zu glauben, eine binäre Operation mit ähnlich aussehenden Identitäten reiche aus, oder die Existenz eines binären Kommutators mit einem Maltsev-Term gleichzusetzen; beides übersieht die spezifischen ternären Identitäten, die Kongruenzvertauschbarkeit erzwingen.

Konsequenz

Verfügt eine Varietät über einen Maltsev-Term, so vertauschen Kongruenzen und zahlreiche strukturelle Folgerungen ergeben sich: Vereinfachung von Gleichungen, Zerlegungssätze und bessere Handhabung von Kongruenzidentitäten.

Umkehrung

Das Fehlen eines Maltsev-Terms lässt zu, dass die Varietät nichtvertauschbare Kongruenzen und kompliziertere Kongruenzgitter aufweist; das Umgekehrte kann durch Begriffe formuliert werden, die Nichtvertauschbarkeit dokumentieren (z. B. Day-Terme für distributive Fälle).

Abgrenzung

Der Begriff setzt eine Varietät (äquationale Klasse) und Terme in ihrer Sprache voraus; er gilt nicht für beliebige relationale Strukturen oder für Aussagen über Vertauschbarkeit, die nur semantisch ohne Termoperationen formulierbar sind.

Semantische Spannung

Verwandte Konzepte sind ‚Mal'cev-Varietät‘ (globale Klassen-Eigenschaft) und ‚Maltsev-Operation‘ als konkreter Term; Spannung entsteht gegenüber anderen Termbedingungen (z. B. Kongruenzdistributivität oder -modularität), die unterschiedliche Vertauschungs-Eigenschaften liefern.

Synthese

Ein Maltsev-Term ist ein ternärer symbolischer Operator mit zwei involutorischen Identitäten, dessen Existenz als algebraisches Zertifikat dient, dass Kongruenzen in der Varietät vertauschen und so ein gruppenähnliches Kongruenzverhalten entsteht.