NON-DETERMINISTIC LINEAR HYPERSUBSTITUTIONS
Journal Title: Discussiones Mathematicae - General Algebra and Applications - Year 2015, Vol 35, Issue 1
Abstract
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 arity. We show that the extension of non-deterministic linear hypersubstitutions of type τ map sets of linear terms to sets of linear terms. As a consequence, the collection of all nondeterministic linear hypersubstitutions forms a monoid. Non-deterministic linear hypersubstitutions can be applied to identities and to algebras of type τ.
Authors and Affiliations
Nareupanat Lekkoksung, Prakit Jampachon
GENERALIZED PELL EQUATIONS FOR 2 × 2 MATRICES
In this paper we consider the solutions of the generalized matrix Pell equations X^2 − dY^2 = cI, where X and Y are 2 × 2 matrices over Z, d is a non-zero (positive or negative) square-free integer, c is an arbitrary int...
ON 2-ABSORBING FILTERS OF LATTICES
Let L be a lattice with 1. In this paper we study the concept of 2-absorbing filter which is a generalization of prime filter. A proper filter F of L is called a 2-absorbing filter (resp. a weakly 2-absorbing) if wheneve...
ON CENTRALIZER OF SEMIPRIME INVERSE SEMIRING
Let S be 2-torsion free semiprime inverse semiring satisfying A2 condition of Bandlet and Petrich [1]. We investigate, when an additive mapping T on S becomes centralizer.
ALL MAXIMAL COMPLETELY REGULAR SUBMONOIDS OF HypG(2)
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 de...
RELATION BETWEEN (FUZZY) GODEL IDEALS AND ¨ (FUZZY) BOOLEAN IDEALS IN BL-ALGEBRAS
In this paper, we study relationships between among (fuzzy) Boolean ideals, (fuzzy) G¨odel ideals, (fuzzy) implicative filters and (fuzzy) Boolean filters in BL-algebras. In [9], there is an example which shows that a G¨...