A Mal'cev condition for congruence principal permutable varieties (Q800951): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q4149782 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Varieties with \(n\)-principal compact congruences / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Mal'cev condition for admissible relations / rank | |||
Normal rank |
Latest revision as of 16:05, 14 June 2024
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