2025/10/20 by Danica Jakubı́ková-Studenovská, Jakubíková-Studenovská, D., Reinhard Pöschel +3
Computer Science · Decision Sciences · Mathematics · #06F99 #08A05 #08A30 #08A99 #Advanced Algebra and Logic #FOS: Mathematics #Fuzzy and Soft Set Theory #General Mathematics (math.GM) #Rings, Modules, and Algebras
paper · pdf · doi:10.48550/arxiv.2511.00014
openalex publication_date 2025/10/20 · openalex created_date 2025/11/05 · openalex updated_date 2026/07/28
Quasiorders \varrho⊆ A2 have the property that an operation f:An→ A preserves \varrho if and only if each (unary) translation obtained from f is an endomorphism of ρ. Generalized quasiorders ρ⊆ Am are generalizations of (binary) quasiorders sharing the same property. We show how new generalized quasiorders can be obtained from given ones using well-known algebraic constructions. Special generalized quasiorders, as generalized equivalences and (weak) generalized partial orders, are introduced, which extend the corresponding notions for binary relations. It turns out that generalized equivalences can be characterized by usual equivalence relations. Extending some known results of binary quasiorders, it is shown that generalized quasiorders can be ``decomposed'' uniquely into a (weak) generalized partial order and a generalized equivalence. Furthermore, generalized quasiorders of maximal clones determined by equivalence or partial order relations are investigated. If F=Pol \varrho is a maximal clone and \varrho an equivalence relation or a lattice order, then every(!) relation in Inv F is a generalized quasiorder. Moreover, lattice orders are characterized by this property among all partial orders. Finally we prove that each term operation of a rectangular algebra gives rise to a generalized partial order. Some problems requiring further research are also highlighted.