Construction of a complementary quasiorder
For a monounary algebra A = (A, f) we study the lattice QuordA of all quasiorders of A, i.e., of all reflexive and transitive relations compatible with f. Monounary algebras (A, f) whose lattices of quasiorders are complemented were characterized in 2011 as follows: (*) f(x) is a cyclic element for...
Saved in:
| Published in: | Algebra and Discrete Mathematics |
|---|---|
| Date: | 2018 |
| Main Authors: | , |
| Format: | Article |
| Language: | English |
| Published: |
Інститут прикладної математики і механіки НАН України
2018
|
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/188347 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Construction of a complementary quasiorder / D. Jakubíková-Studenovská, L. Janičková // Algebra and Discrete Mathematics. — 2018. — Vol. 25, № 1. — С. 39-55. — Бібліогр.: 4 назв. — англ. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Summary: | For a monounary algebra A = (A, f) we study the lattice QuordA of all quasiorders of A, i.e., of all reflexive and transitive relations compatible with f. Monounary algebras (A, f) whose lattices of quasiorders are complemented were characterized in 2011 as follows: (*) f(x) is a cyclic element for all x ∊ A, and all cycles have the same square-free number n of elements. Sufficiency of the condition (*) was proved by means of transfinite induction. Now we will describe a construction of a complement to a given quasiorder of (A, f) satisfying (*).
|
|---|---|
| ISSN: | 1726-3255 |