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
Keywords
Related Articles
- EP ID EP304464
- DOI -
- Views 53
- Downloads 0
BOOLEAN FILTERS IN PSEUDO-COMPLEMENTED ALMOST DISTRIBUTIVE LATTICES
In this paper we have introduced the concept of Boolean filters in a pseudo-complemented Almost Distributive Lattice (pseudo-complemented ADL) and studied their properties. Finally, a Boolean filter is characterized in t...
VARIETIES OF REGULAR ALGEBRAS AND UNRANKED TREE LANGUAGES
In this paper we develop a variety theory for unranked tree languages and unranked algebras. In an unranked tree any symbol may label a node with any number of successors. Such trees appear in markup languages such as XM...
ON THE GENUS OF THE CAYLEY GRAPH OF A COMMUTATIVE RING
Let R be a commutative ring with non-zero identity and let Z(R) be the set of all zero-divisors. The Cayley graph CAY(R) of R is the simple undirected graph whose vertices are elements of R and two distinct vertices x an...
An ideal-based zero-divisor graph of direct products of commutative rings
In this paper, specifically, we look at the preservation of the diameter and girth of the zero-divisor graph with respect to an ideal of a commutative ring when extending to a finite direct product of commutative rings....
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.