A Mal'cev condition for congruence principal permutable varieties (Q800951)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A Mal'cev condition for congruence principal permutable varieties |
scientific article |
Statements
A Mal'cev condition for congruence principal permutable varieties (English)
0 references
1984
0 references
An algebra is congruence principal iff the join (in the congruence lattice) of finitely many principal congruences is principal. \textit{R. W. Quackenbush} [ibid. 14, 292-296 (1982; Zbl 0493.08006)] has proved that congruence principal varieties can be characterized by a Mal'cev condition. This paper proves that a congruence permutable variety is congruence principal iff there are 5-ary polynomials r and s and a 6-ary polynomial t such that the variety satisfies \(x=r(t(x,z,x,y,z,v),x,y,z,v)\) \(y=r(t(y,v,x,y,z,v),x,y,z,v)\) \(z=s(t(x,z,x,y,z,v),x,y,z,v)\) \(v=x(t(y,v,x,y,z,v),x,y,z,v).\)
0 references
congruence lattice
0 references
principal congruences
0 references
congruence principal varieties
0 references
Mal'cev condition
0 references
congruence permutable variety
0 references