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 60
- Downloads 0
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 VARIATION OF ZERO-DIVISOR GRAPHS
In this paper, we define a new graph for a ring with unity by extending the definition of the usual ‘zero-divisor graph’. For a ring R with unity, Γ1(R) is defined to be the simple undirected graph having all non-zero el...
Some finite directly indecomposable non-monogenic entropic quasigroups with quasi-identity
In this paper we show that there exists an infinite family of pairwise non-isomorphic entropic quasigroups with quasi-identity which are directly indecomposable and they are two-generated. Keywords: quasigroups, entropic...
ON THE ASSOCIATED PRIME IDEALS OF LOCAL COHOMOLOGY MODULES DEFINED BY A PAIR OF IDEALS
Let I and J be two ideals of a commutative Noetherian ring R and M be an R-module. For a non-negative integer n it is shown that, if the sets AssR(Extn R(R/I, M)) and SuppR(ExtiR(R/I, Hj I,J(M))) are finite for all i ≤ n...
APPLICATIONS OF SADDLE-POINT DETERMINANTS
For a given square matrix A ∈ Mn(R) and the vector e ∈ (R)^n of ones denote by (A, e) the matrix A e e^T 0 This is often called the saddle point matrix and it plays a significant role in several branches of m...