Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: clone of T-terms

Sortuj według:

Ogranicz wyniki do:

Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik

T-Varieties and Clones of T-terms

100%

Denecke K., Jampachon P.

Discussiones Mathematicae - General Algebra and Applications

2005

tom 25

nr 1

89-101

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.

Ograniczanie wyników

1 Discussiones Mathematicae - General Algebra and Applications

1 Denecke K.

1 Jampachon P.

1 2005

Wyniki wyszukiwania

T-Varieties and Clones of T-terms