In the Wikipedia article about kernels, universal algebra section, Mal'cev algebras subsection (https://en.wikipedia.org/wiki/Kernel_(algebra)#Mal.27cev_algebras) appear some so-called Mal'cev algebras (different from the nonassociative ones) which are not actually defined. What should be their rigorous definition? Are they the same as Mal'cev varieties? Is there any good introductory text on universal algebra which touches this topic?
2026-03-31 05:41:31.1774935691
What should be the definition of Mal'cev algebra in Wikipedia's kernel page?
109 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
The standard definition of a Mal'cev algebra in universal algebra is an algebra $\mathbf{A}$ where there is a term operation $p\in\mathrm{Clo}_3(\mathbf{A})$ staisfying $p(a,b,b)=p(b,b,a)=a$ for all $a,b\in A$.
This does not imply the existence of a neutral element: see for example the variety of quasigroups.
It seems that the Wikipedia page is talking about congruence regular algebras with a one-element subalgebra (but that might be too specific). For more information on congruence regular algebras, see the answer here: Generalization of normal subgroups and ideals.