Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 2

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych:  conjugate pair of additive closure operators
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

M-solid generalized non-deterministic varieties

100%
Lekkoksung S.
Discussiones Mathematicae - General Algebra and Applications
|
2016
|
tom 36
|
nr 1
25-43
EN
A generalized non-deterministic hypersubstitution is a mapping which maps operation symbols of type τ to the set of terms of the same type which does not necessarily preserve the arity. We apply the generalized non-deterministic hypersubstitution to an algebra of type τ and obtain a class of derived algebras of type τ. The generalized non-deterministic hypersubstitutions can be also applied to sets of equations of type τ. We obtain two closure operators which turn out to be a conjugate pair of completely additive closure operators. This allows us to apply the theory of conjugate pairs of additive closure operators to characterize M-solid generalized non-deterministic varieties of algebras.
2
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

Nd-solid varieties

100%
Denecke K., Glubudom P.
Discussiones Mathematicae - General Algebra and Applications
|
2007
|
tom 27
|
nr 2
245-262
EN
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.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.