Tolerances as images of congruences in varieties defined by linear identities (Q353352): Difference between revisions
From MaRDI portal
Normalize DOI. |
Normalize DOI. |
||
Property / DOI | |||
Property / DOI: 10.1007/S00012-013-0219-2 / rank | |||
Property / DOI | |||
Property / DOI: 10.1007/S00012-013-0219-2 / rank | |||
Normal rank |
Latest revision as of 15:10, 9 December 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Tolerances as images of congruences in varieties defined by linear identities |
scientific article |
Statements
Tolerances as images of congruences in varieties defined by linear identities (English)
0 references
12 July 2013
0 references
The authors deal with a linear identity \(s = t\). An identity \(s = t\) is linear if each variable occurs in each of the terms \(s\) and \(t\) at most once. Let \(T\) is a tolerance relation of an algebra \(A\) in a variety defined by a set of linear identities. The authors prove that there exists an algebra \(B\) in the same variety and a congruence \(\theta \) of \(B\) such that a homomorphism from \(B\) onto \(A\) maps \(\theta \) onto \(T\).
0 references
tolerance relation
0 references
homomorphic image of a congruence
0 references
linear identity
0 references
balanced identity
0 references