TY - JOUR
ID - 130810
TI - Implication Zroupoids and Birkhoff Systems
JO - Journal of Algebraic Hyperstructures and Logical Algebras
JA - JAHLA
LA - en
SN - 2676-6000
AU - Cornejo, J.M.
AU - Sankappanavar, H.P.
AD - Departamento de Matem'atica, Universidad Nacional del Sur, Alem 1253, Bah'ia Blanca, Argentina, INMABB - CONICET.
AD - Hanamantagouda P. Sankappanavar, Department of Mathematics, State University of New York, New Paltz, New York 12561, U.S.A.
Y1 - 2021
PY - 2021
VL - 2
IS - 4
SP - 1
EP - 12
KW - Implication zroupoid
KW - symmetric implication zroupoid
KW - bisemigroup
KW - Birkhoff identity
KW - Birkhoff system
KW - implication semigroup
KW - Birkhoff bisemigroup
DO - 10.52547/HATEF.JAHLA.2.4.1
N2 - An algebra $\mathbf A = \langle A, \to, 0 \rangle$, where $\to$ is binary and $0$ is a constant, is called an implication zroupoid ($\mathcal{I}$-zroupoid, for short) if $\mathbf{A}$ satisfies the identities: $(x \to y) \to z \approx [(z' \to x) \to (y \to z)']'$, where $x' : = x \to 0$, and $ 0'' \approx 0$. These algebras generalize De Morgan algebras and $\vee$-semilattices with zero. Let $\mathcal{I}$ denote the variety of implication zroupoids. The investigations into the structure of $\mathcal{I}$ and of the lattice of subvarieties of $\mathcal{I}$, begun in 2012, have continued in several papers (see the Bibliography at the end of the paper). The present paper is a sequel to that series of papers and is devoted to making further contributions to the theory of implication zroupoids. The main purpose of this paper is to prove that if $\mathbf{A}$ is an algebra in the variety $\mathcal{I}$, then the derived algebra $\mathbf{A}_{mj} := \langle A; \wedge, \vee \rangle$, where $a \land b := (a \to b')'$ and $a \lor b := (a' \land b')'$, satisfies the Birkhoff's identity (BR): $x \land (x \lor y) \approx x \lor (x \land y)$. As a consequence, the implication zroupoids $\mathbf A$ whose derived algebras $\mathbf{A}_{mj}$ are Birkhoff systems are characterized. Another interesting consequence of the main result is that there are bisemigroups that are not bisemilattices but satisfy the Birkhoff's identity, which leads us naturally to define the variety of "Birkhoff bisemigroups'' as bisemigroups satisfying the Birkhoff identity, as a generalization of Birkhoff systems. The paper concludes with some open problems.
UR - http://jahla.hatef.ac.ir/article_130810.html
L1 - http://jahla.hatef.ac.ir/article_130810_54f16a4d1639a37455de773b217c6191.pdf
ER -