Results 1 to 10 of about 733,652 (73)
The Order of Generalized Hypersubstitutions of Type τ=(2) [PDF]
International Journal of Mathematics and Mathematical Sciences, 2008 The order of hypersubstitutions, all idempotent elements on the monoid of all hypersubstitutions of type τ=(2) were studied by K. Denecke and Sh. L. Wismath and all idempotent elements on the monoid of all hypersubstitutions of type τ=(2,2) were studied ...
Wattapong Puninagool +1 more
doaj +5 more sources
Green’s Relations on Submonoids of Generalized Hypersubstitutions of Type (n) [PDF]
Discussiones Mathematicae - General Algebra and Applications, 2021 A generalized hypersubstitution of type τ = (n) is a function which takes the n-ary operation symbol f to the term of the same type σ(f ) which does not necessarily preserve the arity. Let HypG(n) be the set of all these generalized hypersubstitutions of
Kunama Pornpimol, Leeratanavalee Sorasak
doaj +5 more sources
Idempotent Elements of Weak Projection Generalized Hypersubstitutions [PDF]
Discussiones Mathematicae - General Algebra and Applications, 2018 A generalized hypersubstitution of type τ = (ni)i∈I is a mapping σ which maps every operation symbol fi to the term σ (fi) and may not preserve arity.
Lekkoksung Nareupanat, Jampachon Prakit
doaj +3 more sources
The Depth of Generalized Full Terms and Generalized Full Hypersubstitutions [PDF]
Algebra, 2013 We generalize the concept of a full term which was introduced by Denecke and Changphas and the concept of the depth of a hypersubstitution which was introduced by Denecke et al. to the depth of a generalized full term and the depth of a generalized full hypersubstitution and then derive the formular for its depth.
Sarawut Phuapong, Sorasak Leeratanavalee
openaire +2 more sources
Complexity of terms, superpositions, and generalized hypersubstitutions [PDF]
Computers & Mathematics with Applications, 2010 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Wattapong Puninagool +1 more
openaire +3 more sources
Discussiones Mathematicae - General Algebra and Applications, 2021 The main purpose of this paper is to generalize the concept of linear terms. A linear term is a term in which every variable occurs at most once. K. Denecke defined partial operations on linear terms and partial clones.
Lekkoksung Nareupanat, Lekkoksung Somsak
doaj +2 more sources
All intra-regular generalized hypersubstitutions of type (2) [PDF]
Acta Universitatis Sapientiae, Mathematica, 2019 AbstractA generalized hypersubstitution of type τ maps each operation symbol of the type to a term of the type, and can be extended to a mapping defined on the set of all terms of this type. The set of all such generalized hypersubstitutions forms a monoid. An element a of a semigroup S is intra-regular if there is b ∈ S such that a = baab.
Boonmee Ampika, Leeratanavalee Sorasak
openaire +2 more sources
The Order of Hypersubstitutions of Type (2,1)
International Journal of Mathematics and Mathematical Sciences, Volume 2011, Issue 1, 2011., 2011 Hypersubstitutions are mappings which map operation symbols to terms of the corresponding arities. They were introduced as a way of making precise the concept of a hyperidentity and generalizations to M‐hyperidentities. A variety in which every identity is satisfied as a hyperidentity is called solid.
Tawhat Changphas +2 more
wiley +1 more source
All Maximal Completely Regular Submonoids of HypG(2)
Discussiones Mathematicae - General Algebra and Applications, 2017 In this paper we consider mappings σ which map the binary operation symbol f to the term σ (f) which do not necessarily preserve the arity. These mapping are called generalized hypersubstitutions of type τ = (2) and we denote the set of all these ...
Kunama Pornpimol, Leeratanavalee Sorasak
doaj +1 more source
Unsolid and fluid strong varieties of partial algebras
International Journal of Mathematics and Mathematical Sciences, Volume 2006, Issue 1, 2006., 2006 A partial algebra 𝒜=(A;(fiA) i∈I) consists of a set A and an indexed set (fiA) i∈I of partial operations fiA:Ani⊸→A. Partial operations occur in the algebraic description of partial recursive functions and Turing machines. A pair of terms p ≈ q over the partial algebra 𝒜 is said to be a strong identity in 𝒜 if the right‐hand side is defined whenever ...
S. Busaman, K. Denecke
wiley +1 more source