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
ON THE CONNECTIVITY OF THE ANNIHILATING-IDEAL GRAPHS
Let R be a commutative ring with identity and A∗(R) the set of nonzero ideals with non-zero annihilators. The annihilating-ideal graph of R is defined as the graph AG(R) with the vertex set A∗(R) and two distinct vertice...
Completely Archimedean Semirings
In this paper we give a structural description of completely Archimedean semirings which is an extension of the structure theorem of completely Archimedean semigroups.
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...
Congruences and Trajectories in Planar Semimodular Lattices
A 1955 result of J. Jakub´ık states that for the prime intervals p and q of a finite lattice, con(p) ≥ con(q) iff p is congruence-projective to q (via intervals of arbitrary size). The problem is how to determine whether...
COMMUTATIVITY OF PRIME RINGS WITH SYMMETRIC BIDERIVATIONS
The present paper shows some results on the commutativity of R: Let R be a prime ring and for any nonzero ideal I of R, if R admits a biderivation B such that it satisfies any one of the following properties (i) B([x, y]...