M-SOLID GENERALIZED NON-DETERMINISTIC VARIETIES
Journal Title: Discussiones Mathematicae - General Algebra and Applications - Year 2016, Vol 36, Issue 1
Abstract
A generalized non-deterministic hypersubstitution is a mapping which maps operation symbols of type τ to the set of terms of the same type which does not necessarily preserve the arity. We apply the generalized nondeterministic hypersubstitution to an algebra of type τ and obtain a class of derived algebras of type τ. The generalized non-deterministic hypersubstitutions can be also applied to sets of equations of type τ. We obtain two closure operators which turn out to be a conjugate pair of completely additive closure operators. This allows us to apply the theory of conjugate pairs of additive closure operators to characterize M-solid generalized non-deterministic varieties of algebras.
Authors and Affiliations
Somsak Lekkoksung
Some characterizations of 2-primal ideals of a Γ-semiring
This paper is a continuation of our previous paper entitled “On 2-primal Γ-semirings”. In this paper we have introduced the notion of 2-primal ideal in Γ-semiring and studied it. Keywords: Γ-semiring, nilpotent element,...
Bi-Interior Ideals of Semigroups
In this paper, as a further generalization of ideals, we introduce the notion of bi-interior ideal as a generalization of quasi ideal, bi-ideal and interior ideal of semigroup and study the properties of bi-interior idea...
SUPERIOR SUBALGEBRAS AND IDEALS OF BCK/BCI-ALGEBRAS
The notions of superior subalgebras and (commutative) superior ideals are introduced, and their relations and related properties are investigated. Conditions for a superior ideal to be commutative are provided.
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...
Idempotent Elements of Weak Projection Generalized Hypersubstitutions
A generalized hypersubstitution of type τ = (ni)i∈I is a mapping σ which maps every operation symbol fi to the term σ(fi) and may not preserve arity. It is the main tool to study strong hyperidentities that are used to c...