Results 21 to 30 of about 733,709 (66)
Non-Deterministic Linear Hypersubstitutions [PDF]
, 2015 A non-deterministic hypersubstitution maps operation symbols to sets of terms of the corresponding arity. A non-deterministic hypersubstitution of type τ is said to be linear if it maps any operation symbol to a set of linear terms of the corresponding ...
Jampachon, Prakit +1 more
core +1 more source
\(M\)-strongly solid monoids of generalized hypersubstitutions of type \(\tau=(2)\)
Surveys in Mathematics and its Applications, 2013 Summary: The purpose of this paper is to characterize \(M\)-strongly solid monoids of generalized hypersubstitutions of type \(\tau=(2)\) which is the extension of \(M\)-solid monoids of hypersubstitutions of the same type.
Sivaree Sudsanit, Sorasak Leeratanavalee
openaire +3 more sources
On mappings of terms determined by hypersubstitutions [PDF]
, 2005 The extensions of hypersubstitutions are mappings on the set of all terms. In the present paper we characterize all hypersubstitutions which provide bijections on the set of all terms. The set of all such hypersubstitutions forms a monoid.
Shtrakov, S., Koppitz, J.
core +2 more sources
All Maximal Idempotent Submonoids of HypG(n) [PDF]
Surveys in Mathematics and its Applications, 2015 A generalized hypersubstitution of type τ is a mapping which maps any operation symbol to the set of all terms of the same type which does not necessarily preserve the arity.
Weerapong Wongpinit +1 more
doaj
Monoids of ND-Full Hypersubstitutions [PDF]
, 2019 An nd-full hypersubstitution maps any operation symbols to the set of full terms of type τn. Nd-full hypersubstitutions can be extended to mappings which map sets of full terms to sets of full terms.
Lekkoksung Somsak, Lekkoksung, Somsak
core +1 more source
Hypersubstitutions in orthomodular lattices [PDF]
, 2001 It is shown that in the variety of orthomodular lattices every hypersubstitution respecting all absorption laws either leaves the lattice operations unchanged or interchanges join and meet.
Länger, Helmut, Chajda, Ivan
core +1 more source
Green’s relations on the seminearring of full hypersubstitutions of type (n) [PDF]
, 2003 Hypersubstitutions are mappings which are used to define hyperidentities and solid varieties. In this paper we will show that the set of all hypersubstitutions of a given type forms a seminearring.
Changphas, Th., Denecke, K.
core +2 more sources
Orders of Generalized Hypersubstitutions of Type τ = (3)
, 2020 The concept of generalized hypersubstitutions was introduced by S. Leeratanavalee and K. Denecke in 2000. We used it as the tool to study strong hyperidentities and strongly solid varieties.
Sivaree Sudsanit, Sorasak Leeratanavalee
core
The order of normalform hypersubstitutions of type (2) [PDF]
, 2000 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.
Denecke, Klaus, Mahdavi, Kazem
core +1 more source
MULTI-HYPERSUBSTITUTIONS AND COLORED SOLID VARIETIES
, 2006 Hypersubstitutions are mappings which map operation symbols to terms. Terms can be visualized by trees. Hypersubstitutions can be extended to mappings defined on sets of trees.
Denecke, Klaus-Dieter +5 more
core +1 more source