Mal'cev term

GPTKB entity

Statements (10)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:characterizedBy congruence permutable varieties
gptkbp:defines A ternary term p(x, y, z) such that p(x, x, y) = y and p(x, y, y) = x in a given algebraic structure
gptkbp:field universal algebra
https://www.w3.org/2000/01/rdf-schema#label Mal'cev term
gptkbp:namedAfter gptkb:Anatoly_Mal'cev
gptkbp:property existence implies congruence permutability
gptkbp:usedIn algebraic structures
gptkbp:bfsParent gptkb:Mal'cev_algebra
gptkbp:bfsLayer 8