- Tytuł:
- T-Varieties and Clones of T-terms
- Autorzy:
-
Denecke, Klaus
Jampachon, Prakit - Powiązania:
- https://bibliotekanauki.pl/articles/729099.pdf
- Data publikacji:
- 2005
- Wydawca:
- Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
- Tematy:
-
T-quasi constant algebra
T-identity
j-ideal
T-hyperidentity
clone of T-terms - Opis:
- The aim of this paper is to describe how varieties of algebras of type τ can be classified by using the form of the terms which build the (defining) identities of the variety. There are several possibilities to do so. In [3], [19], [15] normal identities were considered, i.e. identities which have the form x ≈ x or s ≈ t, where s and t contain at least one operation symbol. This was generalized in [14] to k-normal identities and in [4] to P-compatible identities. More generally, we select a subset T of $W_{τ}(X)$, the set of all terms of type τ, and consider identities from T×T. Since any variety can be described by one heterogenous algebra, its clone, we are also interested in the corresponding clone-like structure. Identities of the clone of a variety V correspond to M-hyperidentities for certain monoids M of hypersubstitutions. Therefore we will also investigate these monoids and the corresponding M-hyperidentities.
- Źródło:
-
Discussiones Mathematicae - General Algebra and Applications; 2005, 25, 1; 89-101
1509-9415 - Pojawia się w:
- Discussiones Mathematicae - General Algebra and Applications
- Dostawca treści:
- Biblioteka Nauki
Artykuł