Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "terms" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-4 z 4
    Tytuł:
    The order of normalform hypersubstitutions of type (2)
    Autorzy:
    Denecke, Klaus
    Mahdavi, Kazem
    Powiązania:
    https://bibliotekanauki.pl/articles/728816.pdf
    Data publikacji:
    2000
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    hypersubstitutions
    terms
    idempotent elements
    elements of infinite order
    Opis:
    In [2] it was proved that all hypersubstitutions of type τ = (2) which are not idempotent and are different from the hypersubstitution whichmaps the binary operation symbol f to the binary term f(y,x) haveinfinite order. In this paper we consider the order of hypersubstitutionswithin given varieties of semigroups. For the theory of hypersubstitution see [3].
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2000, 20, 2; 183-192
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The greatest regular-solid variety of semigroups % Dedicated to R. McKenzies 60$^th$ birthday %
    Autorzy:
    Denecke, Klaus
    Koppitz, Jörg
    Pabhapote, Nittiya
    Powiązania:
    https://bibliotekanauki.pl/articles/728806.pdf
    Data publikacji:
    2008
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    hypersubstitutions
    terms
    regular-solid variety
    solid variety
    finite axiomatizability
    Opis:
    A regular hypersubstitution is a mapping which takes every $n_i$-ary operation symbol to an $n_i$-ary term. A variety is called regular-solid if it contains all algebras derived by regular hypersubstitutions. We determine the greatest regular-solid variety of semigroups. This result will be used to give a new proof for the equational description of the greatest solid variety of semigroups. We show that every variety of semigroups which is finitely based by hyperidentities is also finitely based by identities.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2008, 28, 1; 91-119
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Regular elements and Greens relations in Menger algebras of terms
    Autorzy:
    Denecke, Klaus
    Jampachon, Prakit
    Powiązania:
    https://bibliotekanauki.pl/articles/729175.pdf
    Data publikacji:
    2006
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    term
    superposition of terms
    Menger algebra
    regular element
    Green's relations
    Opis:
    Defining an (n+1)-ary superposition operation $S^n$ on the set $W_{τ}(X_n)$ of all n-ary terms of type τ, one obtains an algebra $n-clone τ := (W_{τ}(X_n); S^n, x_1, ..., x_n)$ of type (n+1,0,...,0). The algebra n-clone τ is free in the variety of all Menger algebras ([9]). Using the operation $S^n$ there are different possibilities to define binary associative operations on the set $W_{τ}(X_n)$ and on the cartesian power $W_{τ}(X_n)^n$. In this paper we study idempotent and regular elements as well as Green's relations in semigroups of terms with these binary associative operations as fundamental operations.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2006, 26, 1; 85-109
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    T-Varieties and Clones of T-terms
    Autorzy:
    Denecke, Klaus
    Jampachon, Prakit
    Powiązania:
    https://bibliotekanauki.pl/articles/729099.pdf
    Data publikacji:
    2005
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    T-quasi constant algebra
    T-identity
    j-ideal
    T-hyperidentity
    clone of T-terms
    Opis:
    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.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2005, 25, 1; 89-101
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-4 z 4

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies