A characterization of locally finite varieties that satisfy a nontrivial congruence identity (Q5950766): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s000120050134 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1973417030 / rank | |||
Normal rank |
Latest revision as of 19:54, 19 March 2024
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