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 51
- Downloads 0
SOME RESULTS OF REVERSE DERIVATION ON PRIME AND SEMIPRIME Γ-RINGS
In the present paper, it is introduced the definition of a reverse derivation on a Γ-ring M. It is shown that a mapping derivation on a semiprime Γ-ring M is central if and only if it is reverse derivation. Also it is sh...
CONRAD’S PARTIAL ORDER ON P.Q.-BAER ∗-RINGS
We prove that a p.q.-Baer ∗-ring forms a pseudo lattice with Conrad’s partial order and also characterize p.q.-Baer ∗-rings which are lattices. The initial segments of a p.q.-Baer ∗-ring with the Conrad’s partial order a...
Trace inequalities for positive semidefinite matrices
Certain trace inequalities for positive definite matrices are generalized for positive semidefinite matrices using the notion of the group generalized inverse.
A NOTE ON ADDITIVE GROUPS OF SOME SPECIFIC TORSION-FREE RINGS OF RANK THREE AND MIXED ASSOCIATIVE RINGS
It is studied how rank two pure subgroups of a torsion-free Abelian group of rank three influences its structure and type set. In particular, the criterion for such a subgroup B to be a direct summand of a torsion-free A...
PSEUDO-BCH-ALGEBRAS
The notion of pseudo-BCH-algebras is introduced, and some of their properties are investigated. Conditions for a pseudo-BCH-algebra to be a pseudo-BCI-algebra are given. Ideals and minimal elements in pseudo-BCH algebras...