Idempotent Elements of Weak Projection Generalized Hypersubstitutions
Journal Title: Discussiones Mathematicae - General Algebra and Applications - Year 2018, Vol 38, Issue 1
Abstract
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 classify varieties into collections called strong hypervarieties. Each generalized hypersubstitution can be extended to a mapping ˆσ on the set of all terms of type τ. A binary operation on HypG(τ), the set of all generalized hypersubstitutions of type τ, can be defined by using this extension. The set HypG(τ) together with such a binary operation forms a monoid, where a hypersubstitution σid, which maps fi to fi(x1, . . . , xni) for every i ∈ I, is the neutral element of this monoid. A weak projection generalized hypersubstitution of type τ is a generalized hypersubstitution of type τ which maps at least one of the operation symbols to a variable. In semigroup theory, the various types of its elements are widely considered. In this paper, we present the characterizations of idempotent weak projection generalized hypersubstitutions of type (m, n) and give some sufficient conditions for a weak projection generalized hypersubstitution of type (m, n) to be regular, where m, n ≥ 1.
Authors and Affiliations
Nareupanat Lekkoksung, Prakit Jampachon
Keywords
Related Articles
- EP ID EP394539
- DOI 10.7151/dmgaa.1281
- Views 38
- Downloads 0
On Perfectness of Intersection Graph of Ideals of ℤn
In this short paper, we characterize the positive integers n for which intersection graph of ideals of Zn is perfect.
ZERO-DIVISOR GRAPHS OF REDUCED RICKART ∗-RINGS
For a ring A with an involution ∗, the zero-divisor graph of A, Γ∗ (A), is the graph whose vertices are the nonzero left zero-divisors in A such that distinct vertices x and y are adjacent if and only if xy∗ = 0. In this...
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...
Sublattices corresponding to very true operators in commutative basic algebras
We introduce the concept of very true operator on a commutative basic algebra in a way analogous to that for fuzzy logics. We are motivated by the fact that commutative basic algebras form an algebraic axiomatization of...
ON A PERIODIC PART OF PSEUDO-BCI-ALGEBRAS
In the paper the connections between the set of some maximal elements of a pseudo-BCI-algebra and deductive systems are established. Using these facts, a periodic part of a pseudo-BCI-algebra is studied.