Quasiorders on universal algebras
type: Item
instance of: scholarly article
title: Quasiorders on universal algebras
zbMATH Open document ID: 0824.08002
DOI: 10.1007/BF02261695
author: Ivan Chajda
author: A. G. Pinus
published in: Algebra and Logic
publication date: 1995-04-20T00:00:00Z
review text: A concept of quasiorder on a universal algebra is investigated. A binary relation \(q\) on the universe \(A\) of an algebra \(\mathfrak A\) is called a quasiorder on \(\mathfrak A\) if 1) \(q\) is a quasiorder on \(A\), 2) for every function \(f(x_ 1,\dots, x_ n)\) in the signature of \(\mathfrak A\) and for arbitrary pairs \(\langle a_ 1, b_ 1\rangle,\dots, \langle a_ n, b_ n\rangle\), the pair \(\langle f(a_ 1,\dots, a_ n), f(b_ 1,\dots, b_ n)\rangle\) belongs to \(q\). This definition of quasiorders on universal algebras differs from the definitions of partially ordered groups, rings, etc. The set \(\text{Qord }{\mathfrak A}\) of all quasiorders on a universal algebra \(\mathfrak A\) is an algebraic lattice with respect to inclusion. The authors point out many properties of this lattice. Some of them are analogous to properties of \(\text{Con }{\mathfrak A}\).
reviewed by: Katarzyna Hałkowska
Mathematics Subject Classification ID: 08A30
Mathematics Subject Classification ID: 06B15
Mathematics Subject Classification ID: 06F25
zbMATH DE Number: 738951
zbMATH Keywords: quasiorder
zbMATH Keywords: algebraic lattice
MaRDI profile type: Publication
cites work: Congruence Relations in Direct Products
cites work: Q3997775
cites work: On \(n\)-permutable congruences
cites work: Q4002019
cites work: A model theoretic approach to Malcev conditions
cites work: Uniform congruence schemes
cites work: A note on the congruence extension property
full work available at URL: https://doi.org/10.1007/bf02261695
OpenAlex ID: W2032447928
description: scientific article; zbMATH DE number 738951