Results 31 to 40 of about 119 (83)
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
All Linear-Solid Varieties of Semirings
Discussiones Mathematicae - General Algebra and Applications, 2019 A variety of semirings is said to be solid if each of its identities is satisfied as hyperidentity. There are precisely four solid varieties of semirings.
Hounnon Hippolyte, Denecke Klaus
doaj +1 more source
M-strongly solid monoids of generalized hypersubstitutions of type τ = (2) [PDF]
Surveys in Mathematics and its Applications, 2013 The purpose of this paper is to characterize M-strongly solid monoids of generalized hypersubstitutions of type τ=(2) which is the extension of M-solid monoids of hypersubstitutions of the same type.
Sivaree Sudsanit, Sorasak Leeratanavalee
doaj
Idempotence and regularity of generlized relational hypersubstitutions for algebraic sytems [PDF]
The concept of a generalized relational hypersubstitution for algebraic systems of type $(\tau,\tau')$ is an extension of the concept of a generalized hypersubstitution for universal algebra of type $\tau$.
Kunama, Pornpimol +3 more
core +1 more source
The greatest regular-solid variety of semigroups % Dedicated to R. McKenzie's 60$^th$ birthday % [PDF]
, 2008 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.
Denecke, Klaus +2 more
core +1 more source
The monoid of generalized hypersubstitutions of type τ = (n) [PDF]
, 2010 A (usual) hypersubstitution of type τ is a function which takes each operation symbol of the type to a term of the type, of the same arity. The set of all hypersubstitutions of a fixed type τ forms a monoid under composition, and semigroup properties of ...
Puninagool, Wattapong +1 more
core +1 more source
The dimension of a variety [PDF]
, 2007 Derived varieties were invented by P. Cohn in [4]. Derived varieties of a given type were invented by the authors in [10]. In the paper we deal with the derived variety $V_{σ}$ of a given variety, by a fixed hypersubstitution σ.
Graczyńska, Ewa, Schweigert, Dietmar
core +1 more source
IDEMPOTENT ELEMENTS OF PRE-GENERALIZED HYPERSUBSTITUTIONS OF TYPE (m, n)
, 2016 A generalized hypersubstitution of type τ = (m, n) is a mapping σ which maps the m-ary operation symbol f and n-ary operation symbol g to the term σ(f) and σ(g), and may not preserved arities.
Jampachon, Prakit +1 more
core
Hyperidentities in many-sorted algebras [PDF]
, 2009 The theory of hyperidentities generalizes the equational theory of universal algebras and is applicable in several fields of science, especially in computers sciences (see e.g. [2,1]).
Denecke, Klaus, Lekkoksung, Somsak
core +1 more source