- Tytuł:
- Nd-solid varieties
- Autorzy:
-
Denecke, Klaus
Glubudom, Prisana - Powiązania:
- https://bibliotekanauki.pl/articles/728884.pdf
- Data publikacji:
- 2007
- Wydawca:
- Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
- Tematy:
-
Non-deterministic hypersubstitution
conjugate pair of additive closure operators
M-solid non-deterministic variety - Opis:
- 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.
- Źródło:
-
Discussiones Mathematicae - General Algebra and Applications; 2007, 27, 2; 245-262
1509-9415 - Pojawia się w:
- Discussiones Mathematicae - General Algebra and Applications
- Dostawca treści:
- Biblioteka Nauki
Artykuł