The theory of hyperidentities generalizes the equational theory of universal algebras and is applicable in several fields of science, especially in computers sciences (see e.g. [2,1]). The main tool to study hyperidentities is the concept of a hypersubstitution. Hypersubstitutions of many-sorted algebras were studied in [3]. On the basis of hypersubstitutions one defines a pair of closure operators which turns out to be a conjugate pair. The theory of conjugate pairs of additive closure operators can be applied to characterize solid varieties, i.e., varieties in which every identity is satisfied as a hyperidentity (see [4]). The aim of this paper is to apply the theory of conjugate pairs of additive closure operators to many-sorted algebras.
@article{bwmeta1.element.bwnjournal-article-doi-10_7151_dmgaa_1151,
author = {Klaus Denecke and Somsak Lekkoksung},
title = {Hyperidentities in many-sorted algebras},
journal = {Discussiones Mathematicae - General Algebra and Applications},
volume = {29},
year = {2009},
pages = {47-74},
zbl = {1194.08001},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-doi-10_7151_dmgaa_1151}
}
Klaus Denecke; Somsak Lekkoksung. Hyperidentities in many-sorted algebras. Discussiones Mathematicae - General Algebra and Applications, Tome 29 (2009) pp. 47-74. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-doi-10_7151_dmgaa_1151/
[000] [1] P. Baltazar, M-Solid Varieties of Languages, Acta Cybernetica 18 (2008) 719-731. | Zbl 1164.68022
[001] [2] K. Denecke and S. L. Wismath, Hyperidenties and Clones, Gordon and Breach, 2000.
[002] [3] K. Denecke and S. Lekkoksung, Hypersubstitutions of Many-Sorted Algebras, Asian-European J. Math. Vol. I (3) (2008) 337-346. | Zbl 1170.08002
[003] [4] J. Koppitz and K. Denecke, M-solid Varieties of Algebras, Springer 2005. | Zbl 1094.08001
[004] [5] H. Lugowski, Grundzüge der Universellen Algebra, Teubner-Verlag, Leipzig 1976.