This work is licensed under the Creative Commons Attribution 4.0 International License.
Introduction
Since any formulae or axiom in a Boolean algebra can be stated by means of Sheffer stroke operation that was preliminarily given by H.M. Sheffer [11], it is important for many researchers applying the operation to the algebraic structures such as Sheffer stroke basic algebras [15], interval Sheffer stroke basic algebras [16], Sheffer stroke NMV-algebras [7] and implication algebras [1]. Because an interval Sheffer stroke basic algebra have both properties of Sheffer stroke operation [5] and interval basic algebra ([4], [6]), it makes easier to study on an interval Sheffer stroke basic algebra which is a generalization of Sheffer stroke basic algebra.
In many different parts of science, technology and industry, many scientists wish to apply the Yang-Baxter equation that was initially used in theoretical physics [21] and statical mechanics ([2,3], [22]). In addition to the use of the equation in various scientific fields such as quantum groups, quantum mechanics, quantum computing, knot theory, integrable systems, non-commutative geometry, C*-algebras, etc. ([13, 14] and [8,9,10]), there exist many mathematicians who want to investigate set-theoretical solutions to this equation in pure mathematics. Hence, we wish to find solutions to the set-theoretical Yang-Baxter equation in an interval Sheffer stroke basic algebra.
In recent years, Oner and Katican have constructed set-theoretical solutions to the Yang-Baxter equation by using Wajsberg algebras [17] and BL-algebras [18]. Besides, Yang-Baxter equation on MTL-algebras are given by Oner and Kalkan [19]. Also, Oner et al. have presented solutions to the set-theoretical Yang-Baxter equation in MV-algebras [20]
It is first given fundamental definitions and notions about Sheffer stroke operation and Sheffer stroke basic algebra. After presenting a definition of Sheffer stroke basic algebra on a given interval, called interval Sheffer stroke basic algebra, it is given several properties of interval Sheffer stroke basic algebra. Then it is searched solutions to the set-theoretical Yang-Baxter equation on this by using these properties.
Preliminaries
It is given the following fundamental notions.
Definition 1
[5] Let 𝒰 = (U;|) be a structure. The binary operation | is called a Sheffer stroke operation if it satisfies the following conditions:
(S1) u|v = v|u,
(S2) (u|u)|(u|v) = u,
(S3) u|((v|w)|(v|w)) = ((u|v)|(u|v))|w,
(S4) (u|((u|u)|(v|v)))|(u|((u|u)|(v|v))) = u.
Oner and Senturk introduced the Sheffer Stroke basic algebra which is a basic algebra with only the Sheffer Stroke operation [15].
Definition 2
[15] An algebra 𝒰 = (U;|) of type (2) is called a Sheffer stroke basic algebra if it satisfies the following identities:
[15] Let 𝒰 = (U;|) be a Sheffer Stroke basic algebra. Then there exists an algebraic constant element 1 ∈ U and 𝒰 = (U,|) provides the following identities:
(i) u|(u|u) = 1,
(ii) u|(1|1) = 1,
(iii) 1|(u|u) = u,
(iv) ((u|(v|v))|(v|v))|(v|v) = u|(v|v).
Lemma 2
[15] Let 𝒰 = (U;|) be a Sheffer Stroke basic algebra. Then the binary relation ≤, called an induced order of U, is defined byu \le v\; \textit{if and only if}\;u|(v|v) = 1.
Then the relation ≤ is a partial order on U such that 0 is the least element of U and 1 is the greatest element of U.
[16] Let 𝒰 = (U;|) be a Sheffer Stroke basic algebra, and ≤ be the induced order of U. Then (U, ≤) is a lattice whereu \vee v = (u|(v|v))|(v|v)andu \wedge v = ((u|u) \vee (v|v))|((u|u) \vee (v|v)).
The Interval Sheffer Stroke Basic Algebras
In this section, after presenting some definitions and notions about interval Sheffer stroke basic algebras, we give new features about interval Sheffer stroke basic algebras.
Theorem 4
[16] Let 𝒰 = (U;|) be a Sheffer Stroke basic algebra, and ≤ be the induced order of U and m, n ∈ U such that m ≤ n We define an operation|_m^non the interval [m, n] such thatu|_m^nv: = (n|(u|u))|(((n|(v|v))|(m|m))|((n|(v|v))|(m|m)))for all u, v ∈ [m, n]. Then{\cal U}(m,n) = ([m,n];|_m^n)is a Sheffer Stroke basic algebra.
By Theorem 4, the Sheffer Stroke basic algebra
{\cal U}(m,n) = ([m,n];|_m^n)
, named an interval Sheffer Stroke basic algebra, satisfies (SH1) − (SH3).
Lemma 5
Let([m,n];|_m^n)be an interval Sheffer Stroke basic algebra. Then it satisfies the following features:
Let([m,n];|_m^n)be an interval Sheffer Stroke basic algebra. Then the binary relation ≾, called an induced order of [m, n], is defined byu\precsim v\ \textit{if and only if}\ u|^{n}_{m}(v|^{n}_{m}v)=n.Then the relation ≾ is a partial order on [m, n] such thatm = n|_m^nnis the least element of [m, n] andn = m|_m^nmis the greatest element of [m, n].
Let([m,n];|_m^n)be an interval Sheffer Stroke basic algebra, and ≾ be the induced order of [m, n]. Then ([m, n], ≾) is a lattice whereu \vee _m^nv = (u|_m^n(v|_m^nv))|_m^n(v|_m^nv)andu \wedge _m^nv = ((u|_m^nu) \vee _m^n(v|_m^nv))|_m^n((u|_m^nu) \vee _m^n(v|_m^nv)).
Solutions to the set-theoretical Yang-Baxter Equation by interval Sheffer stroke basic algebras
In this section, we find solutions to the set-theoretical Yang-Baxter equation in interval Sheffer stroke basic algebras. Let V be a vector space over a field F. We denote by τ : V ⊗ V → V ⊗ V the twist map defined by τ(v ⊗ w) = w ⊗ v and by I : V → V the identity map over the space V; for a F-linear map R : V ⊗ V → V ⊗ V, let R12 = R ⊗ I, R23 = I ⊗ R, and R13 = (I ⊗ τ)(R ⊗ I)(τ ⊗ I).
Definition 3
[8] A Yang-Baxter operator is an invertible F-linear map R : V ⊗ V → V ⊗ V, and it satisfies the braid condition (also called the Yang-Baxter equation):
{R^{12}} \circ {R^{23}} \circ {R^{12}} = {R^{23}} \circ {R^{12}} \circ {R^{23}}.
If R satisfies Equation (1), then both R ○ τ and τ ○ R satisfy the quantum Yang-Baxter equation:
{R^{12}} \circ {R^{13}} \circ {R^{23}} = {R^{23}} \circ {R^{13}} \circ {R^{12}}.\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;({\textit QYBE})
The following definition allows us to form a connection between the set-theoretical Yang-Baxter equation and interval Sheffer stroke basic algebras.
Definition 4
[8] Let X be a set and S : U2 → U2,
S({o_1},{o_2}) = ({o_1^\prime},{o_2^\prime})
be a map. The map S is a solution to the set-theoretical Yang-Baxter equation if it satisfies the following identity:
{S^{12}} \circ {S^{23}} \circ {S^{12}} = {S^{23}} \circ {S^{12}} \circ {S^{23}},
where
\matrix{ {{S^{12}}:{U^3} \to {U^3},\;\;\;\;\;{S^{12}}({o_1},{o_2},{o_3}) = ({o_1^\prime},{o_2^\prime},{o_3}),} \cr {{S^{23}}:{U^3} \to {U^3},\;\;\;\;\;{S^{23}}({o_1},{o_2},{o_3}) = ({o_1},{o_2^\prime},{o_3^\prime}),} \cr {{S^{13}}:{U^3} \to {U^3},\;\;\;\;\;{S^{13}}({o_1},{o_2},{o_3}) = ({o_1^\prime},{o_2},{o_3^\prime}).} \cr }
Now, we find solutions to the set-theoretical Yang-Baxter equation by using interval Sheffer stroke basic algebras.
Theorem 8
Let([m,n];|_m^n)be an interval Sheffer stroke basic algebra. ThenS(u,v) = (v|_m^nv,u|_m^nu)is a solution to the set-theoretical Yang-Baxter equation.
Proof
S12 and S23 are defined in the following forms:
{S^{12}}(u,v,w) = (v|_m^nv,u|_m^nu,w),\;\;\;\;\;{S^{23}}(u,v,w) = (u,w|_m^nw,v|_m^nv).
For all u,v,w ∈ [m,n], we get
\matrix{ {({S^{12}} \circ {S^{23}} \circ {S^{12}})(u,v,w)} \hfill & = \hfill & {({S^{12}} \circ {S^{23}})({S^{12}}(u,v,w))} \hfill \cr {} \hfill & = \hfill & {({S^{12}} \circ {S^{23}})(v|_m^nv,u|_m^nu,w)} \hfill \cr {} \hfill & = \hfill & {{S^{12}}({S^{23}}(v|_m^nv,u|_m^nu,w))} \hfill \cr {} \hfill & = \hfill & {{S^{12}}(v|_m^nv,w|_m^nw,(u|_m^nu)|_m^n(u|_m^nu))} \hfill \cr {} \hfill & = \hfill & {((w|_m^nw)|_m^n(w|_m^nw),(v|_m^nv)|_m^n(v|_m^nv),(u|_m^nu)|_m^n(u|_m^nu))} \hfill \cr {} \hfill & = \hfill & {{S^{23}}((w|_m^nw)|_m^n(w|_m^nw),u|_m^nu,v|_m^nv)} \hfill \cr {} \hfill & = \hfill & {{S^{23}}({S^{12}}(u,w|_m^nw,v|_m^nv)} \hfill \cr {} \hfill & = \hfill & {({S^{23}} \circ {S^{12}})(u,w|_m^nw,v|_m^nv)} \hfill \cr {} \hfill & = \hfill & {({S^{23}} \circ {S^{12}})({S^{23}}(u,v,w))} \hfill \cr {} \hfill & = \hfill & {({S^{23}} \circ {S^{12}} \circ {S^{23}})(u,v,w)} \hfill \cr }
Then,
S(u,v) = (v|_m^nv,u|_m^nu)
is a solution to the set-theoretical Yang-Baxter equation in the interval Sheffer stroke basic algebra.
Theorem 9
Let([m,n];|_m^n)be an interval Sheffer stroke basic algebra. ThenS(u,v) = ((u|_m^nu)|_m^n(v|_m^nv),m)is a solution to the set-theoretical Yang-Baxter equation.
Let([m,n];|_m^n)be an interval Sheffer stroke basic algebra. ThenS(u,u) = ((u|_m^n(v|_m^nv))|_m^n(v|_m^nv),v)is a solution to the set-theoretical Yang-Baxter equation.
Let([m,n];|_m^n)be an interval Sheffer stroke basic algebra. ThenS(u,v) = ((u|_a^b(u|_m^n(v|_m^nv)))|_m^n(u|_m^n(u|_m^n(v|_m^nv))),u)is a solution to the set-theoretical Yang-Baxter equation.
Let([m,n];|_m^n)be an interval Sheffer stroke basic algebra. ThenS(u,v) = ((v|_m^n(v|_m^n(u|_m^nu)))|_m^n(v|_m^n(v|_m^n(u|_m^nu))),u)andS(u,v) = ((u|_m^n(u|_m^n(v|_m^nv)))|_m^n(u|_m^n(u|_m^n(v|_m^nv))),v)are solutions to the set-theoretical Yang-Baxter equation.
Proof
It is proved from (S1), (S2), (SH2) and Theorem 12.
Theorem 14
Let([m,n];|_m^n)be an interval Sheffer stroke basic algebra. ThenS(u,v) = (u \vee _m^nv,u \wedge _m^nv)is a solution to the set-theoretical Yang-Baxter equation.
S(u,v) = (u ∨ v,u ∧ v) is generally not a solution to the set-theoretical Yang-Baxter equation in a Wajsberg algebra [17] while it is a solution to the set-theoretical Yang-Baxter equation in an interval Sheffer stroke basic algebra, and also in a Boolean algebra [9].
Theorem 15
Let([m,n];|_m^n)be an interval Sheffer stroke basic algebra. Ifw|_m^n((u|_m^nu)|_m^n(v|_m^nv)) = ((u|_m^nw)|_m^n(v|_m^nw))|_m^n((u|_m^nw)|_m^n(v|_m^nw))holds for all u,v,w ∈ [m,n], thenS(u,v) = ((u|_m^nu)|_m^n(v|_m^nv),(u|_m^nv)|_m^n(u|_m^nv))is a solution to the set-theoretical Yang-Baxter equation.
Proof
By Theorem 14, we know that
S(u,v) = (u \vee _m^nv,u \wedge _m^nv)
. Then it follows from Lemma 7, (S1), (S2) and (SH2) that
\matrix{ {S(u,v) = (u \vee _m^nv,u \wedge _m^nv)} \hfill & = \hfill & {((u|_m^n(v|_m^nv))|_m^n(v|_m^nv),((u|_m^nu) \vee _m^n(v|_m^nv))|_m^n((u|_m^nu) \vee _m^n(v|_m^nv)))} \hfill \cr {} \hfill & = \hfill & {((u|_m^n(v|_a^bv))|_m^n(v|_m^nv),(((u|_m^nu)|_m^n((v|_m^nv)|_m^n(v|_m^nv)))|_m^n((v|_m^nv)|_m^n} \hfill \cr {} \hfill & {} \hfill & {(v|_m^nv)))|_m^n(((u|_m^nu)|_m^n((v|_m^nv)|_m^n(v|_m^nv)))|_m^n((v|_m^nv)|_m^n(v|_m^nv))))} \hfill \cr {} \hfill & = \hfill & {((u|_m^n(v|_m^nv))|_m^n(v|_m^nv),(((v|_m^nv)|_m^n((u|_m^nu)|_m^n(u|_m^nu)))|_m^n((u|_m^nu)|_m^n} \hfill \cr {} \hfill & {} \hfill & {(u|_m^nu)))|_m^n(((v|_m^nv)|_m^n((u|_m^nu)|_m^n(u|_m^nu)))|_m^n((u|_m^nu)|_m^n(u|_m^nu))))} \hfill \cr {} \hfill & = \hfill & {((u|_m^n(v|_m^nv))|_m^n(v|_m^nv),(u|_m^n(u|_m^n(v|_m^nv)))|_m^n(u|_m^n(u|_m^n(v|_m^nv))))} \hfill \cr }
is a solution to the set-theoretical Yang-Baxter equation.
Assume that
w|_m^n((u|_m^nu)|_m^n(v|_m^nv)) = ((u|_m^nw)|_m^n(v|_m^nw))|_m^n((u|_m^nw)|_m^n(v|_m^nw))
holds for all u,v,w ∈ [m,n]. Thus we obtain that
\matrix{ {S(u,v)} \hfill & = \hfill & {((u|_m^n(v|_m^nv))|_m^n(v|_m^nv),(u|_m^n(u|_m^n(v|_m^nv)))|_m^n(u|_m^n(u|_m^n(v|_m^nv))))} \hfill \cr {} \hfill & = \hfill & {((v|_m^nv)|_m^n(((u|_m^nu)|_m^n(u|_m^nu))|_m^n(v|_m^nv)),(u|_m^n(((u|_m^nu)|_m^n} \hfill \cr {} \hfill & {} \hfill & {(u|_m^nu))|_m^n(v|_m^nv)))|_m^n(u|_m^n(((u|_m^nu)|_m^n(u|_m^nu))|_m^n(v|_m^nv))))\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;((S2)\;and(S1))} \hfill \cr {} \hfill & = \hfill & {((((u|_m^nu)|_m^n(v|_m^nv))|_m^n(v|_m^n(v|_m^nv)))|_m^n(((u|_m^nu)|_m^n(v|_m^nv))|_m^n} \hfill \cr {} \hfill & {} \hfill & {(v|_m^n(v|_m^nv))),(((u|_m^n(u|_m^nu))|_m^n(u|_m^nv))|_m^n((u|_m^n(u|_m^nu))|_m^n} \hfill \cr {} \hfill & {} \hfill & {(u|_m^nv)))|_m^n(((u|_m^n(u|_m^nu))|_m^n(u|_m^nv))|_m^n((u|_m^n(u|_m^nu))|_m^n(u|_m^nv))))\;\;\;\;\;\;\;\;\;\;(hyp.\;and\;(S1))} \hfill \cr {} \hfill & = \hfill & {((u|_m^nu)|_m^n(v|_m^nv),(u|_m^nv)|_m^n(u|_m^nv))\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;(Lemma\;5\;(1),\;(3), (S1)\;and\;(S2))} \hfill \cr }
is a solution to the set-theoretical Yang-Baxter equation.
Theorem 16
Let([m,n];|_m^n)be an interval Sheffer stroke basic algebra. If(u|_m^n(v|_m^nv))|_m^n((u|_m^n(w|_m^nw))|_m^n(u|_m^n(w|_m^nw))) = u|_m^n((v|_m^n(w|_m^nw))|_m^n(v|_m^n(w|_m^nw)))holds for all u,v,w ∈ [m,n], thenS(u,v) = (u|_m^n(v|_m^nv),u)is a solution to the set-theoretical Yang-Baxter equation.
Proof
S12 and S23 are defined in the following forms:
{S^{12}}(u,v,w) = (u|_m^n(v|_m^nv),u,w),\;\;\;\;\;{S^{23}}(u,v,w) = (u,v|_m^n(w|_m^nw),v).
For all u,v,w ∈ [m,n], we have
\matrix{ {({S^{12}} \circ {S^{23}} \circ {S^{12}})(u,v,w)} \hfill & = \hfill & {({S^{12}} \circ {S^{23}})({S^{12}}(u,v,w))} \hfill \cr {} \hfill & = \hfill & {({S^{12}} \circ {S^{23}})(u|_m^n(v|_m^nv),u,w)} \hfill \cr {} \hfill & = \hfill & {{S^{12}}({S^{23}}(u|_m^n(v|_m^nv),u,w))} \hfill \cr {} \hfill & = \hfill & {{S^{12}}(u|_m^n(v|_m^nv),u|_m^n(w|_m^nw),u)} \hfill \cr {} \hfill & = \hfill & {((u|_m^n(v|_m^nv))|_m^n((u|_m^n(w|_m^nw))|_m^n(u|_m^n(w|_m^nw))),u|_m^n(v|_m^nv),u)} \hfill \cr {} \hfill & = \hfill & {(u|_m^n((v|_m^n(w|_m^nw))|_m^n(v|_m^n(w|_m^nw))),u|_m^n(v|_m^nv),u)\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;(hyp.)} \hfill \cr}
and
\matrix{ {({S^{23}} \circ {S^{12}} \circ {S^{23}})(u,v,w)} \hfill & = \hfill & {({S^{23}} \circ {S^{12}})({S^{23}}(u,v,w))} \hfill \cr {} \hfill & = \hfill & {({S^{23}} \circ {S^{12}})((u,v|_m^n(w|_m^nw),v)} \hfill \cr {} \hfill & = \hfill & {{S^{23}}({S^{12}}(u,v|_m^n(w|_m^nw),v))} \hfill \cr {} \hfill & = \hfill & {{S^{23}}(u|_m^n((v|_m^n(w|_m^nw))|_m^n(v|_m^n(w|_m^nw))),u,v)} \hfill \cr {} \hfill & = \hfill & {(u|_m^n((v|_m^n(w|_m^nw))|_m^n(v|_m^n(w|_m^nw))),u|_m^n(v|_m^nv),u)} \hfill \cr}
Then
S(u,v) = (u|_m^n(v|_m^nv),u)
is a solution to the set-theoretical Yang-Baxter equation in the interval Sheffer stroke basic algebra.
Example 17
Consider an interval Sheffer stroke basic algebra(M;|_m^n)where the set M = {m, p,r,n} with the Cayley table as below:
|_m^n
m
p
r
n
m
n
n
n
n
p
n
r
n
r
r
n
n
p
p
n
n
r
p
m
Since(u|_m^n(v|_m^nv))|_m^n((u|_m^n(w|_m^nw))|_m^n(u|_m^n(w|_m^nw))) = u|_m^n((v|_m^n(w|_m^nw))|_m^n(v|_m^n(w|_m^nw)))holds for all u,v,w ∈ M,S(u,v) = (u|_m^n(v|_m^nv),u)is a solution to the set-theoretical Yang-Baxter equation in this algebraic structure.