Název:
Variety určené krátkými identitami
Překlad názvu:
Varieties determined by short identities
Autoři:
Koula, Jiří ; Kepka, Tomáš (oponent) ; Ježek, Jaroslav (vedoucí práce) Typ dokumentu: Diplomové práce
Rok:
2007
Jazyk:
cze
Abstrakt: [cze][eng] Tato práce se zabývá hledáním volných algeber nad spočetnou množinou proměnných ve varietách grupoidů určených identitou tvaru x = t, kde t je term délky 5. K tomuto účelu je použita metoda přepisujících systémů. Práce staví na článku [3], jehož výsledky rozšiřuje.This paper deals with searching for free algebras over the countable infinite set of variables in varieties determined by identity of form x = t, where t is term of length 5. Notion of rewriting system is introduced and used for it. The paper is based on article [3] and extends its results.