Quasiorders on universal algebras (Q1346900): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf02261695 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2032447928 / rank | |||
Normal rank |
Latest revision as of 11:52, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Quasiorders on universal algebras |
scientific article |
Statements
Quasiorders on universal algebras (English)
0 references
20 April 1995
0 references
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}\).
0 references
quasiorder
0 references
algebraic lattice
0 references