Konzistentní systémy projekcí
| Thesis title in Czech: | Konzistentní systémy projekcí |
|---|---|
| Thesis title in English: | Consistent systems of projections |
| Academic year of topic announcement: | 2019/2020 |
| Thesis type: | Bachelor's thesis |
| Thesis language: | |
| Department: | Department of Algebra (32-KA) |
| Supervisor: | doc. Mgr. Libor Barto, Ph.D. |
| Author: |
| Guidelines |
| Úkolem práce je zkoumat implikace mezi Bergmanovými podmínkami C(a,b) pro systémy k-árních projekcí
kompatibilní s near unanimity operací pro různá a,b,k a různé arity dané operace. Práce se může zaměřit i na jiné související otázky. |
| References |
| Kirby Baker and Alden Pixley: Polynomial interpolation and the Chinese Remainder Theorem for algebraic systems, Mathematische Zeitschrift 143 (1975), no. 2, 165-174.
George Bergman: On the existence of subalgebras of direct products with prescribed d-fold projections, Algebra Universalis 7 (1977), 341-356. |
| Preliminary scope of work |
| Jedna z formulací Bakerovi-Pixleyho věty říká, že n-ární relace kompatibilní s k-ární near unanimity operací je jednoznačně určená svými projekcemi na (k-1)-tice souřadnic (neznámé pojmy vysvětlím zájemcům). Naopak, "dostatečně" konzistentní systémy projekcí kompatibilní s near unanimity operací odpovídají n-ární relacím. Práce se bude týkat otázky, jaká úroveň konzistence je k tomu potřeba.
Zaměříme se na podotázky, které vyžadují velmi málo předběžných znalostí, takže student/ka se může téměř okamžitě začít věnovat kreativní činnosti. |