A characterization of locally finite varieties that satisfy a nontrivial congruence identity (Q5950766)
From MaRDI portal
scientific article; zbMATH DE number 1682616
Language | Label | Description | Also known as |
---|---|---|---|
English | A characterization of locally finite varieties that satisfy a nontrivial congruence identity |
scientific article; zbMATH DE number 1682616 |
Statements
A characterization of locally finite varieties that satisfy a nontrivial congruence identity (English)
0 references
16 December 2001
0 references
R. Freese and J. B. Nation proved that the variety of semilattices satisfies some nontrivial congruence identity. This implies that if a variety satisfies some nontrivial congruence identity, then it satisfies an idempotent Mal'tsev condition that fails in the variety of semilattices. In this paper the converse statement is shown to hold for locally finite varieties. The machinery for the proof is developed using tame congruence theory.
0 references
Mal'tsev condition
0 references
variety of semilattices
0 references
nontrivial congruence property
0 references
locally finite variety
0 references
tame congruence theory
0 references