An identity s = t is linear if each variable occurs at most once in each of the terms s and t. Let T be a tolerance relation of an algebra A in a variety defined by a set of linear identities. We prove that there exist 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.
Chajda, I., Czedli, G., Halas, R., Lipparini, P. (2013). Tolerances as images of congruences in varieties defined by linear identities. ALGEBRA UNIVERSALIS, 69(2), 167-169 [10.1007/s00012-013-0219-2].
Tolerances as images of congruences in varieties defined by linear identities
LIPPARINI, PAOLO
2013-01-01
Abstract
An identity s = t is linear if each variable occurs at most once in each of the terms s and t. Let T be a tolerance relation of an algebra A in a variety defined by a set of linear identities. We prove that there exist 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.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
2013TImC_CCHL.pdf
solo utenti autorizzati
Descrizione: Articolo principale
Licenza:
Copyright dell'editore
Dimensione
196.57 kB
Formato
Adobe PDF
|
196.57 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.