T-Varieties and Clones of T-terms
Klaus Denecke ; Prakit Jampachon
Discussiones Mathematicae - General Algebra and Applications, Tome 25 (2005), p. 89-101 / Harvested from The Polish Digital Mathematics Library
Access to full text
Full (PDF)

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.

Publié le : 2005-01-01
EUDML-ID : urn:eudml:doc:287686 
@article{bwmeta1.element.bwnjournal-article-doi-10_7151_dmgaa_1093,
     author = {Klaus Denecke and Prakit Jampachon},
     title = {T-Varieties and Clones of T-terms},
     journal = {Discussiones Mathematicae - General Algebra and Applications},
     volume = {25},
     year = {2005},
     pages = {89-101},
     zbl = {1101.08002},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-doi-10_7151_dmgaa_1093}
}

Klaus Denecke; Prakit Jampachon. T-Varieties and Clones of T-terms. Discussiones Mathematicae - General Algebra and Applications, Tome 25 (2005) pp. 89-101. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-doi-10_7151_dmgaa_1093/

[000] [1] G. Birkhoff and J. D. Lipson, Heterogeneous algebra, J. Combin. Theory 8 (1970), 115-133.

[001] [2] S. Burris and H. P. Sankappanavar, A Course in Universal Algebra, Springer-Verlag, New York 1981.

[002] [3] I. Chajda, Normally presented varieties, Algebra Universalis 34 (1995), 327-335.

[003] [4] I. Chajda, K. Denecke and S. L. Wismath, A characterization of P-compatible varieties, Preprint 2004. | Zbl 1118.08002

[004] [5] W. Chromik, Externally compatible identities of algebras, Demonstratio Math. 23 (1990), 345-355. | Zbl 0734.08005

[005] [6] K. Denecke and L. Freiberg, The algebra of full terms, preprint 2003. | Zbl 1274.08013

[006] [7] K. Denecke and K. Ha kowska, P-compatible hypersubstitutions and MP-solid varieties, Studia Logica 64 (2000), 355-363. | Zbl 0967.08006

[007] [8] K. Denecke, P. Jampachon, Clones of N-full terms, Algebra and Discrete Math. (2004), no. 4, 1-11. | Zbl 1091.08003

[008] [9] K. Denecke, P. Jampachon, N-Full varieties and clones of n-full terms, Southeast Asian Bull. Math. 25 (2005), 1-14. | Zbl 1105.08002

[009] [10] K. Denecke, P. Jampachon and S. L. Wismath, Clones of n-ary algebras, J. Appl. Algebra Discrete Struct. 1 (2003), 141-158. | Zbl 1038.08002

[010] [11] K. Denecke, M. Reichel, Monoids of hypersubstitutions and M-solid varieties, Contributions to General Algebra 9 (1995), 117-126. | Zbl 0884.08008

[011] [12] K. Denecke and S. L. Wismath, Universal Algebra and Applications in Theoretical Computer Science, Chapman & Hall/CRC, Boca Raton, London, New York, Washington D.C. 2002.

[012] [13] K. Denecke and S. L. Wismath, Galois connections and complete sublattices, 'Galois Connections and Applications', Kluwer Academic Publ., Dordrecht 2004, 211-230. | Zbl 1066.06003

[013] [14] K. Denecke and S. L. Wismath, A characterization of k-normal varieties, Algebra Universalis 51 (2004), 395-409. | Zbl 1080.08002

[014] [15] E. Graczyńska, On Normal and regular identities and hyperidentities, ' Universal and Applied Algebra', World Scientific Publ. Co., Singapore 1989, 107-135. | Zbl 0747.08006

[015] [16] P.J. Higgins, Algebras with a scheme of operators, Math. Nachr. 27 (1963), 115-132. | Zbl 0117.25903

[016] [17] A. Hiller, P-Compatible Hypersubstitutionen und Hyperidentitäten, Diplomarbeit, Potsdam 1996.

[017] [18] H.-J. Hoehnke and J. Schreckenberger, Partial Algebras and their Theories, Manuscript 2005. | Zbl 1110.08003

[018] [19] I.I. Melnik, Nilpotent shifts of varieties, (Russian), Mat. Zametki 14 (1973), 703-712, (English translation in: Math. Notes 14 (1973), 962-966).

[019] [20] J. Płonka, On varieties of algebras defined by identities of special forms, Houston Math. J. 14 (1988), 253-263. | Zbl 0669.08006

[020] [21] J. Płonka, P-compatible identities and their applications to classical algebras, Math. Slovaca 40 (1990), 21-30. | Zbl 0728.08006

[021] [22] B. Schein and V. S. Trochimenko, Algebras of multiplace functions, Semigroup Forum 17 (1979), 1-64. | Zbl 0397.08001

[022] [23] W. Taylor, Hyperidentities and Hypervarieties, Aequat. Math. 23 (1981), 111-127. | Zbl 0491.08009