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
ALL REGULAR-SOLID VARIETIES OF IDEMPOTENT SEMIRINGS
The lattice of all regular-solid varieties of semirings splits in two complete sublattices: the sublattice of all idempotent regular-solid varieties of semirings and the sublattice of all normal regular-solid varieties o...
Generalized Derivations With Left Annihilator Conditions in Prime and Semiprime Rings
Let R be a prime ring with its Utumi ring of quotients U, C = Z(U) be the extended centroid of R, H and G two generalized derivations of R, L a noncentral Lie ideal of R, I a nonzero ideal of R. The left annihilator of S...
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...
IF-FILTERS OF PSEUDO-BL-ALGEBRAS
Characterizations of IF-filters of a pseudo-BL-algebra are established. Some related properties are investigated. The notation of prime IF- filters and a characterization of a pseudo-BL-chain are given. Homomorphisms of...
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...