On the lattice of multi-sorted relational clones on a two-element domain
O svazu multisortových relačních klonů na dvouprvkové množině
bachelor thesis (DEFENDED)
![Document thumbnail](/bitstream/handle/20.500.11956/191399/thumbnail.png?sequence=7&isAllowed=y)
View/ Open
Permanent link
http://hdl.handle.net/20.500.11956/191399Identifiers
Study Information System: 265761
Collections
- Kvalifikační práce [10925]
Author
Advisor
Referee
Barto, Libor
Faculty / Institute
Faculty of Mathematics and Physics
Discipline
General Mathematics
Department
Department of Algebra
Date of defense
19. 6. 2024
Publisher
Univerzita Karlova, Matematicko-fyzikální fakultaLanguage
English
Grade
Excellent
Keywords (Czech)
relační klon|klon|Galoisova korespondence|svaz klonůKeywords (English)
Relational clone|clone|Galois connection|lattice of clonesTato práce se zabývá relačními klony na dvouprvkové množině (dále jen " relační klony"). Zaprvé poskytujeme alternativní a elementární důkaz slavné charakterizace (relačních) klonů pocházející od E. Posta z roku 1941, přičemž využíváme pouze relačního formalismu. Zadruhé se zabýváme svazem multi- sortových (relačních) klonů a nabízíme alternativní důkaz jeho spočetnosti - výsledku, jehož původní důkaz pochází od V. Taimanova z roku 1983, ale do roku 2022 nebyl publikován v žádném časopise ani přeložen z ruštiny. Dále také poskytujeme vhled do užití vybudovaných myšlenek pro studium 2-sortových klonů. Při řešení těchto problémů využíváme především koncept klíčových relací (spolu s jejich popisem) představený D. Zhukem v roce 2017 a známou Galoisovu korespondenci mezi operacemi a relacemi. Kromě alternativních důkazů těchto faktů též budujeme několik dalších nástrojů k dalšímu studiu relačních klonů.
In this thesis, we study relational clones on a two-element domain (here- inafter just "relational clones"). Firstly, we provide an alternative, elementary, and purely relational proof of the famous characterization of all (relational) clones published by E. Post in 1941. Secondly, we study the lattice of multi- sorted (relational) clones, providing an alternative proof of its countability - a result originally due to V. Taimanov from 1983, the proof of which was, how- ever, never published in a journal nor translated from Russian until 2022. We also provide an insight into applying the developed ideas to study the 2-sorted clones. We approach the problems mainly using the notion of key relations (and the description thereof) introduced by D. Zhuk in 2017, and the well-known Galois connection between operations and relations. Besides providing alterna- tive proofs of these facts, we establish additional tools to simplify the study of relational clones further.