Symmetric terms
| Název práce v češtině: | Symetrické termy |
|---|---|
| Název v anglickém jazyce: | Symmetric terms |
| Klíčová slova: | universální algebra|symetrické termy|symetrické relace|symetrické podprostory |
| Klíčová slova anglicky: | universal algebra|symmetric terms|symmetric relations|symmetric subspaces |
| Akademický rok vypsání: | 2022/2023 |
| Typ práce: | diplomová práce |
| Jazyk práce: | angličtina |
| Ústav: | Katedra algebry (32-KA) |
| Vedoucí / školitel: | doc. Mgr. Libor Barto, Ph.D. |
| Řešitel: | skrytý - zadáno a potvrzeno stud. odd. |
| Datum přihlášení: | 04.11.2022 |
| Datum zadání: | 04.11.2022 |
| Datum potvrzení stud. oddělením: | 15.12.2022 |
| Datum a čas obhajoby: | 06.09.2023 09:00 |
| Datum odevzdání elektronické podoby: | 20.07.2023 |
| Datum odevzdání tištěné podoby: | 24.07.2023 |
| Datum proběhlé obhajoby: | 06.09.2023 |
| Oponenti: | Michael Kompatscher, Ph.D. |
| Zásady pro vypracování |
| The existence of a non-trivial system of height one identities is, for finite algebras, known to be equivalent to numerous concrete height one conditions, including the existence of a cyclic term or the existence of a weak near unanimity term. It is known that the existence of a fully symmetric term is too strong, but it is consistent with the current knowledge that the existence of a term, which is fully symmetric with respect to two-variable evaluations, works. The thesis will explore this possibility. |
| Seznam odborné literatury |
| C. Bergman: Universal Algebra: Fundamentals and Selected Topics, Chapman & Hall Pure and Applied Mathematics, 2011
L. Barto, Z. Brady, A. Bulatov, M. Kozik, D. Zhuk, Minimal Taylor Algebras as a Common Framework for the Three Algebraic Approaches to the CSP, 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021 Z. Brady: Notes on CSPs and Polymorphisms, arXiv 2210.07383, 2022 |