Nd-solid varieties
Discussiones Mathematicae. General Algebra and Applications, Tome 27 (2007) no. 2, pp. 245-262
Voir la notice de l'article provenant de la source Library of Science
A non-deterministic hypersubstitution maps any operation symbol of a tree language of type τ to a set of trees of the same type, i.e. to a tree language. Non-deterministic hypersubstitutions can be extended to mappings which map tree languages to tree languages preserving the arities. We define the application of a non-deterministic hypersubstitution to an algebra of type τ and obtain a class of derived algebras. Non-deterministic hypersubstitutions can also be applied to equations of type τ. Formally, we obtain two closure operators which turn out to form a conjugate pair of completely additive closure operators. This allows us to use the theory of conjugate pairs of additive closure operators for a characterization of M-solid non-deterministic varieties of algebras. As an application we consider M-solid non-deterministic varieties of semigroups.
Keywords:
Non-deterministic hypersubstitution, conjugate pair of additive closure operators, M-solid non-deterministic variety
@article{DMGAA_2007_27_2_a5,
author = {Denecke, Klaus and Glubudom, Prisana},
title = {Nd-solid varieties},
journal = {Discussiones Mathematicae. General Algebra and Applications},
pages = {245--262},
publisher = {mathdoc},
volume = {27},
number = {2},
year = {2007},
language = {en},
url = {http://geodesic.mathdoc.fr/item/DMGAA_2007_27_2_a5/}
}
Denecke, Klaus; Glubudom, Prisana. Nd-solid varieties. Discussiones Mathematicae. General Algebra and Applications, Tome 27 (2007) no. 2, pp. 245-262. http://geodesic.mathdoc.fr/item/DMGAA_2007_27_2_a5/