Quasiorders on universal algebras (Q1346900): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
Property / cites work | |||
Property / cites work: Congruence Relations in Direct Products / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3997775 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On \(n\)-permutable congruences / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4002019 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A model theoretic approach to Malcev conditions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Uniform congruence schemes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A note on the congruence extension property / rank | |||
Normal rank | |||
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