Abstract
We investigate a new algebraic structure which always gives rise to a set-theoretic solution of the Yang–Baxter equation. Specifically, a weak (left) brace is a non-empty set S endowed with two binary operations \(+\) and \(\circ \) such that both \((S,+)\) and \((S, \circ )\) are inverse semigroups and
hold, for all \(a,b,c \in S\), where \(-a\) and \(a^-\) are the inverses of a with respect to \(+\) and \(\circ \), respectively. In particular, such structures include that of skew braces and form a subclass of inverse semi-braces. Any solution r associated to an arbitrary weak brace S has a behavior close to bijectivity, namely r is a completely regular element in the full transformation semigroup on \(S\times S\). In addition, we provide some methods to construct weak braces.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The quantum Yang–Baxter equation is a fundamental topic of theoretical physics that appeared at first in [37] and, independently, in [2]. Drinfel’d [15] posed the question of finding all the set-theoretical solutions of this equation. Determining all the solutions, up to equivalence, is very challenging and a large number of works related to this matter of study has been produced over the years. Among the seminal papers, we mention those of Gateva-Ivanova and Van den Bergh [18], Gateva-Ivanova and Majid [19], Etingof, Schedler, and Soloviev [16], Lu, Yan, and Zhu [27]. For more details on the development of the studies to date, we refer the reader to the introduction of [10] and references therein. If S is a set, a map \(r:S\times S \longrightarrow S\times S\) satisfying the relation
is said to be a set-theoretic solution of the Yang–Baxter equation, or shortly a solution, on S. If S and T are sets, two solutions r and s on S and T, respectively, are called equivalent if there exists a bijective map \(f:S \rightarrow T\) such that \((f \times f)r = s(f \times f)\), see [16]. Given a solution r, it is usual to write \(r(a,b) = (\lambda _a(b),\rho _b(a))\), with \(\lambda _a\) and \(\rho _b\) maps from S into itself, for all \(a,b \in S\). Moreover, r is said to be left non-degenerate if \(\lambda _a\) is bijective, for every \(a\in S\), right non-degenerate if \(\rho _b\) is bijective, for every \(b\in S\), and non-degenerate if r is both left and right non-degenerate. If r is neither left nor right non-degenerate, then it is called degenerate. Furthermore, r is called involutive if \(r^2 = {{\,\mathrm{id}\,}}_{S\times S}\), idempotent if \(r^2 = r\), and cubic if \(r^3 = r\).
A productive research line for studying solutions drawn by Rump [32] is based on the study of the theory of (left) braces, algebraic structures which include the Jacobson radical rings. Guarnieri and Vendramin [21] introduced a generalization of braces, namely, skew (left) braces, that are triples \((S,+,\circ )\), where \((S,+)\) and \((S,\circ )\) are groups and the following condition holds
for all \(a,b,c\in S\). In particular, if the group \(\left( S,+\right) \) is abelian then S is a brace.
Convention: To avoid parentheses, from now on, we will assume that the multiplication has higher precedence than the addition.
As proved in [21, Theorem 3.1] every skew brace gives rise to a bijective non-degenerate solution. As shown in [5, Theorem 9], such a solution \(r:S\times S\rightarrow S\times S\) can be written as
for all \(a,b \in S\), where \(a^-\) is the inverse of a in the group \(\left( S, \circ \right) \). Moreover, r is involutive if and only if S is a brace. In the last years, several results about skew braces have been provided in [6, 11, 12, 20, 23, 25, 28], just to recall a few.
To determine new solutions, in [10] there were introduced inverse semi-braces, structures including skew braces. A (left) inverse semi-brace is a triple \((S,+, \circ )\) such that \((S, +)\) is an arbitrary semigroup, \((S, \circ )\) is an inverse semigroup, and
holds, for all \(a,b,c\in S\), where \(a^-\) is the inverse of a with respect to the multiplication. We recall that a semigroup \((S, \circ )\) is called inverse if, for each \(a \in S\), there exists a unique \(a^- \in S\) satisfying \(a\circ a^-\circ a=a\) and \(a^-\circ a\circ a^-=a^-\). The books of Clifford and Preston [14], Petrich [30], Howie [22], and Lawson [26] contain the most important known results on the wide theory of inverse semigroups.
Inverse semi-braces S with \((S,\circ )\) group are the semi-braces, structures studied in [24]. They were initially introduced in [5] in the cancellative case, namely when \((S,+)\) is a cancellative semigroup, and recently deepened in [4]. Moreover, inverse semi-braces with \((S,\circ )\) a Clifford semigroup, i.e., an inverse semigroup having central idempotents, are the generalized semi-braces [8].
Note that if S is an inverse semi-brace, the map r given in (1) is not necessarily a solution. Sufficient conditions so that it is can be found in [10, Theorem 7]. Furthermore, in the context of semi-braces, a characterization has been given in [7, Theorem 3]. In particular, if \((S,+)\) is a left cancellative semigroup, the map r is a left non-degenerate solution [5, Theorem 9].
This paper aims to investigate a subclass of inverse semi-braces S in which the map r always is a solution. Specifically, a non-empty set S endowed with two operations \(+\) and \(\circ \) is said to be a weak (left) semi-brace if \((S,+)\) and \((S, \circ )\) both are inverse semigroups satisfying
for all \(a,b,c \in S\), where \(-a\) denotes the inverse of a with respect to the sum. We show that the conditions in (2) are equivalent to
for all \(a,b,c \in S\), which make these structures very close to skew braces.
We highlight that the additive semigroup \((S,+)\) and the multiplicative semigroup \((S,\circ )\) have the same set of idempotents and besides \((S,+)\) is a Clifford semigroup. Fully exploiting the inverse semigroup on the additive structure, we recover most of the properties already known for skew braces. Among these, the map \(\lambda :S \rightarrow {{\,\mathrm{End}\,}}(S,+), \, a \mapsto \lambda _a\) is a homomorphism from \((S, \circ )\) into \({{\,\mathrm{End}\,}}(S,+)\) and the map \(\rho :S \rightarrow {\mathcal {T}}_{S}, \ b \rightarrow \rho _b\) is an anti-homomorphism from \((S, \circ )\) into the full transformation semigroup \({\mathcal {T}}_{S}\). In addition, the following relation holds
for all \(a,b \in S\), trivially satisfied in the case of \((S, \circ )\) a group, and which is crucial to prove our main result.
As mentioned before, the solution r associated to a skew brace S is bijective. In particular, \(r^{-1}\) is the solution associated to the opposite skew brace \(S^{op}\) defined by considering the opposite sum of S, see [25, Proposition 3.1]. Moreover, also maps \(\lambda _a\) and \(\rho _b\) are bijective. Any weak brace S has an analogous behavior. Indeed, the maps \(\lambda _a\) and \(\rho _b\) admit an inverse in \({\mathcal {T}}_{S}\) given by \(\lambda _{a^-}\) and \(\rho _{b^-}\), respectively. Moreover, r has a behavior near to bijectivity, since it is a completely regular element in \({\mathcal {T}}_{S\times S}\), namely, it admits the map \(r^{op}\) as an inverse, that is the solution associated to the opposite weak brace of S, and it holds \(rr^{op} = r^{op}r\).
Finally, we review some of the constructions of inverse semi-braces provided in [10] to obtain several instances of weak braces. Moreover, classes of examples can be obtained starting from exactly factorizable Clifford monoids. For a fuller treatment we refer the reader to the survey [17] that contains methods for constructing factorizable inverse monoids. Specifically, our examples include those of skew braces provided by Guarnieri and Vendramin in [21, Example 1.6] and also by Smoktunowicz and Vendramin in [33, Theorem 3.3], which were mainly motivated by the result of Weinstein and Xu in [36, Theorem 9.2]. In addition, we review some of the constructions of inverse semi-braces provided in [10], to produce other new examples.
2 Basics on inverse semi-braces
In this section, we recall some basics on inverse semi-braces and we give some new properties related to them.
For the ease of the reader, we initially recall essential notions for our treatment which one can find, for instance, in [22] and [30]. Given a semigroup \((S, \circ )\) and \(a \in S\), we say that an element x of S is an inverse of a if \(a\circ x\circ a=a\) and \(x\circ a\circ x=x\) hold. The semigroup \((S,\circ )\) is called inverse if, for each \(a\in S\), there exists a unique inverse of a, which we denote by \(a^-\). Clearly, every group is an inverse semigroup. A fundamental instance of inverse semigroup is the set \({\mathcal {I}}_X\) consisting of all the partial one-to-one maps of a non-empty set X under the standard operation \(\circ \) of composition of relations (see [22, Theorem 5.1.5]).
The behavior of inverse elements in an inverse semigroup \((S,\circ )\) is similar to that in a group, since \((a\circ b)^{-}=b^{-}\circ a^{-}\) and \((a^{-})^{-}=a\), for all \(a,b \in S\). If \(a \in S\), then \(a\circ a^{-}\) and \(a^{-}\circ a\) are idempotents of S. Moreover, the set \({{\,\mathrm{E}\,}}(S,\circ )\) of the idempotents is a commutative subsemigroup of S and \(e=e^-\), for every \(e \in {{\,\mathrm{E}\,}}(S,\circ )\).
In addition, inverse semigroups in which its idempotents are central is called a Clifford semigroups. Such semigroups belong to the class of completely regular semigroups, namely semigroups \((S,\circ )\) for which, for any \(a\in S\), there exists a unique inverse \(a^{-1}\) of a such that \(a\circ a^{-1}= a^{-1}\circ a\). Note that in a Cifford semigroup \(a^{-}=a^{-1}\), for every \(a\in S\).
Definition 1
(Definition 3, [10]) Let S be a non-empty set endowed with two operations \(+\) and \(\circ \) such that \(\left( S,+\right) \) is a semigroup (not necessarily commutative) and \(\left( S,\circ \right) \) is an inverse semigroup. Then, we say that \(\left( S, + , \circ \right) \) is a (left) inverse semi-brace if the following holds
for all \(a, b, c \in S\), where \(a^-\) is the inverse of a with respect to \(\circ \). We call \((S,+)\) and \((S,\circ )\) the additive semigroup and the multiplicative semigroup of S, respectively.
Any semi-brace [5, 24] is an inverse semi-brace, since in this case \(\left( S,\circ \right) \) is a group. Other examples of inverse semi-braces are generalized semi-braces [8], with \(\left( S,\circ \right) \) a Clifford semigroup. By the way, we recall that a generalized (left) semi-brace is a structure \((S,+,\circ )\) such that \((S,+)\) is a semigroup, \((S,\circ )\) is a completely regular semigroup, and it holds \(a\circ \left( b+c\right) = a\circ b + a\circ \left( a^{-1} + c\right) \), for all \(a,b,c\in S\).
Any skew brace [21] and, in particular any brace [32], is an inverse semi-brace, too. Indeed, \(- a + a\circ b = a\circ a^- - a + a\circ b = a\circ \left( a^- + b\right) \), for all \(a, b\in S\).
Given an inverse semi-brace S, the map \(r:S\times S\rightarrow S\times S\) given by
for all \(a,b \in S\), is called the map associated to S. Sufficient conditions so that the map r is a solution have been provided in [10, Theorem 7]. For the class of semi-braces, one can find a characterization in [7, Theorem 3]. In particular, if \((S,+)\) is a left cancellative semigroup, the map r is a left non-degenerate solution, see [5, Theorem 9]. In the more specific case of S a skew brace, r is a solution which is bijective and non-degenerate, as proved in [21, Theorem 3.1].
We point out that, every non-commutative Clifford semigroup gives rise to two inverse semi-braces that produce two not equivalent solutions.
Example 1
[10] Let \((S, \circ )\) be an arbitrary Clifford semigroup and let us consider the trivial inverse semi-brace \((S,+,\circ )\), with \(a+b = a \circ b\), and the almost trivial inverse semi-brace \(\left( S, \tilde{+},\circ \right) \), with \(a \ \tilde{+}\ b = b \circ a\), for all \(a,b \in S\). Then, the solutions r and s associated to \((S,+,\circ )\) and \(\left( S, \tilde{+},\circ \right) \) are
for all \(a, b \in S\), respectively. Moreover, if \((S, \circ )\) is commutative, the maps r and s coincide and r is cubic.
Note that the previous examples include [21, Example 1.3], given in the context of skew braces. In addition, if the group \(\left( S,\circ \right) \) is not abelian, \(r=s^{-1}\), thus such solutions are not equivalent.
As usual, if S is an arbitrary inverse semi-brace, let \(\lambda : S\rightarrow {{\,\mathrm{End}\,}}(S,+), \,a\mapsto \lambda _a\) and \(\rho : S\rightarrow {\mathcal {T}}_S, \,b\mapsto \rho _b\) be the maps defined by
for all \(a,b\in S\), respectively.
The following proposition contains some properties which essentially involve the map \(\lambda _a\) and the idempotents of the multiplicative semigroup of any inverse semi-brace.
Proposition 2
Let S be an inverse semi-brace. Then, the following assertions hold:
-
1.
\(\lambda _{a \circ a^-}=\lambda _{a}\lambda _{a^-}\),
-
2.
\(\lambda _{a \circ b \circ b^-}=\lambda _{a \circ b}\lambda _{b^-}\),
-
3.
\(a \circ \lambda _{a^-}(b)=a+\lambda _{a\circ a^-}(b)\),
-
4.
\(a+\lambda _a(b)=a \circ \left( a^-\circ a+b\right) ,\)
for all \(a, b \in S\).
Proof
1. Let \(a,b\in S\). Then, we get
2. If \(a,b,c\in S\), we obtain
3. If \(a,b\in S\), we have that
4. If \(a,b \in S\), it follows that
which completes the claim. \(\square \)
As a direct consequence, we get the following result.
Corollary 3
Let S be an inverse semi-brace. Then, the following equalities
hold, for any \(a\in S\).
In other words, for every \(a \in S\), the map \(\lambda _a\) admits the map \(\lambda _{a^{-}}\) as an inverse in \({\mathcal {T}}_S\).
Finally, we note that in the case of \((S, \circ )\) a group, it trivially holds the equality \(a \circ b=\lambda _a(b) \circ \rho _b(a)\), for all \(a,b \in S\). More generally, arbitrary inverse semi-braces satisfy the following weaker properties.
Proposition 4
Let S be an inverse semi-brace. Then, the following statements hold:
-
1.
\(\lambda _a(b)^-\circ \lambda _a(b) \circ \rho _b(a)=\lambda _a(b)^- \circ a \circ b\),
-
2.
\( \lambda _a(b) \circ \rho _b(a)\circ \rho _b(a)^-= a \circ b\circ \rho _b(a)^-\),
for all \(a, b \in S\).
Proof
We only prove 1. and, in the same way, one can check the second equality. If \(a,b \in S\), then
Therefore, the assertion is proved. \(\square \)
3 Weak braces
In this section, we introduce the algebraic structure of weak brace which generalizes that of skew brace and forms a subclass of inverse semi-braces. Examples and several structural properties are given.
From now on, if \(\left( S,+\right) \) and \(\left( S,\circ \right) \) are inverse semigroups, for any \(a \in S\), we denote by \(a^-\) and \(-a\) the inverses of a with respect to \(\circ \) and \(+\), respectively.
Definition 5
Let S be a non-empty set endowed with two operations \(+\) and \(\circ \) such that \(\left( S,+\right) \) and \(\left( S,\circ \right) \) both are inverse semigroups. Then, \((S, +, \circ )\) is a weak (left) brace if the following relations hold
for all \(a,b,c\in S\). We call \((S,+)\) and \((S,\circ )\) the additive semigroup and the multiplicative semigroup of S, respectively.
Any weak brace S is an inverse semi-brace. Indeed, we have
for all \(a,b\in S\).
The trivial and the almost trivial inverse semi-braces in Example 1 are easy instances of weak braces obtained starting from a Clifford semigroup. On the other hand, not every inverse semi-brace is a weak brace, see for instance [10, Example 1].
Clearly, the sets of the idempotents \(E(S,+)\) and \(E(S,\circ )\) coincide. As a direct consequence, since inverse semigroups with exactly one idempotent are groups (cf. Proposition 4 of Section 1.4 in [26]), it holds that \((S,+)\) is a group if and only if \((S,\circ )\) is a group. Furthermore, \((S, +)\) is an idempotent semigroup if and only if \((S, \circ )\) is an idempotent semigroup.
Proposition 6
Let S be a weak brace. Then, \((S, +)\) is an inverse monoid with unit 0 if and only if \((S,\circ )\) is an inverse monoid with unit 0.
Proof
Initially, we assume that \((S,+)\) is a monoid with unit 0. If \(a \in S\), we have
and
thus \(a \circ 0=-(-a)=a\). Moreover, since \(0\in E(S, \circ )\), from what has been just proved, we get
because 0 and \(a\circ a^-\) commute. Thus, \((S, \circ )\) is a monoid with unit 0.
Now, we suppose that \((S, \circ )\) is a monoid with unit 0. Since, \(0 \in E(S,+)\), we have \(-0=0\). If \(a \in S\), we obtain
because 0 and \(-a+a\) commute. On the other hand, we have
Therefore, \((S,+)\) is a monoid with unit 0. \(\square \)
The additive structure of an arbitrary weak brace S is a Clifford semigroup, as we will prove later. Thus, the fact that the trivial and the almost trivial weak braces are defined by means of a Clifford semigroup is essential. To show this result on \((S,+)\), we need to give some structural properties, many of which are already known for skew braces, and that we will also use throughout the paper.
The next lemma includes a result contained in [21, Lemma 1.7] and establishes a link between the addition and the multiplication of any weak brace.
Lemma 1
Let S be a weak brace. Then, the following statements hold:
-
1.
\(a \circ (-b) = a - a \circ b + a\),
-
2.
\(a\circ b= a+\lambda _a(b)\),
for all \(a,b \in S\).
Proof
- 1.:
-
If \(a, b \in S\), at first we check that \(a\circ \left( -b\right) = -\left( - a +a\circ b - a\right) \). Indeed,
$$\begin{aligned}&a \circ (-b) +\left( - a +a \circ b-a \right) + a \circ (-b)\\&= a \circ (-b+b)-a+ a \circ (-b)=a\circ (-b+b-b)=a \circ (-b) \end{aligned}$$and
$$\begin{aligned}&\left( - a +a \circ b-a \right) +a \circ (-b)+\left( - a +a \circ b-a \right) \\&=-a + a \circ \left( b-b\right) -a+a\circ b-a\\&= -a+a\circ (b-b+b)-a=-a+a\circ b-a, \end{aligned}$$hence we get the claim.
- 2.:
-
If \(a,b\in S\), by 1., we have that
$$\begin{aligned} a\circ b= a \circ \left( -\left( -b\right) \right) =a-a\circ (-b)+a=a-a+a\circ b-a+a. \end{aligned}$$Thus,
$$\begin{aligned} a\circ b=a-a+(a-a+a\circ b-a+a)=a-a+a \circ b= a+\lambda _a(b), \end{aligned}$$which is our claim.
\(\square \)
The next result concerning the map \(\lambda :S\rightarrow {{\,\mathrm{End}\,}}\left( S,+\right) \) is already proved for skew braces, cf. [21, Proposition 1.9 - Corollary 1.10].
Proposition 7
Let S be a weak brace. Then, the map \(\lambda _a\) is an endomorphism of \((S,+)\), for every \(a \in S\). Moreover, the map \(\lambda :S\rightarrow {{\,\mathrm{End}\,}}\left( S,+\right) , a\mapsto \lambda _a\) is a homomorphism of the inverse semigroup \(\left( S,\circ \right) \) into the endomorphism semigroup of \(\left( S,+\right) \).
Proof
Let \(a,b,c \in S\). Then, we obtain
Moreover, we get
thus \(-\lambda _a(b)=\lambda _a(-b)\), i.e., \(\lambda _a\) is an endomorphism of the inverse semigroup \((S,+)\). Finally, by 1. in Lemma 1, we have that
thus we get the claim. \(\square \)
Lemma 2
Let S be a weak brace. Then, it holds \(\lambda _a(a^-) = - a\), for every \(a \in S\).
Proof
Let \(a\in S\). By 2. in Lemma 1, it holds \(a\circ \left( a^-+\lambda _{a^-}\left( a\right) \right) = a\circ \left( a^-\circ a \right) = a\). Moreover, by Proposition 7, we get
It follows that
Therefore, the claim is proved. \(\square \)
As a consequence of Lemma 2, if S is a weak brace, we trivially have that \(\rho _{a^-}\left( a\right) ^- = a\circ \left( a^- + a^-\right) = \lambda _{a}\left( a^-\right) =-a\), for every \(a \in S\).
We highlight that statements in Lemma 1, Proposition 7, and Lemma 2 hold more in general starting from a triple \((S, +, \circ )\) for which \((S,+)\) and \((S, \circ )\) are inverse semigroups and \(a\circ \left( b + c\right) = a\circ b - a + a\circ c\) holds, for all \(a,b,c\in S\). The additional property \(a\circ a^- = - a + a\) allows one to show that the additive semigroup of any weak brace lies in the special class of Clifford semigroups.
Theorem 8
Let S be a weak brace. Then, the additive structure \(\left( S, +\right) \) is a Clifford semigroup.
Proof
In light of [30, Exercises II.2.14 (i)], to prove our statement we show that \((S,+)\) is a completely regular semigroup. By Lemma 2 and Lemma 1-2., if \(a \in S\), we obtain
Therefore, \((S,+)\) is a Clifford semigroup. \(\square \)
Below, we give some examples of weak braces. Let us observe that the third one ensures that the multiplicative semigroup of a weak brace is not a Clifford semigroup in general.
Example 2
-
1.
Let S, T be two Clifford semigroups. Then, \(S \times T\) endowed with the following operations
$$\begin{aligned} \left( a,u\right) + \left( b,v\right) = \left( ab, vu\right) \qquad \left( a,u\right) \circ \left( b,v\right) = \left( ab, uv\right) , \end{aligned}$$for all \(\left( a,u\right) , \left( b,v\right) \in S\times T\), is a weak brace.
-
2.
Let us consider a commutative inverse semigroup S and a group T, not necessarily abelian. If \(\alpha : S\rightarrow {{\,\mathrm{Aut}\,}}(T), \, a \mapsto \alpha _a\) is a homomorphism of inverse semigroups, then \(S\times T\) endowed with the following operations
$$\begin{aligned} \left( a,u\right) + \left( b,v\right) = \left( ab, u\alpha _a\left( v\right) \right) \qquad \left( a,u\right) \circ \left( b,v\right) = \left( ab, uv\right) , \end{aligned}$$for all \(\left( a,u\right) , \left( b,v\right) \in S\times T\), is a weak brace.
-
3.
Let S, T be two Clifford semigroups. If \(\beta : S\rightarrow {{\,\mathrm{Aut}\,}}(T),\, a \mapsto \beta _a\) is a homomorphism of inverse semigroups, then \(S\times T\) endowed with the operations defined by
$$\begin{aligned} \left( a,u\right) + \left( b,v\right) = \left( ab, uv\right) \qquad \left( a,u\right) \circ \left( b,v\right) = \left( ab, u\beta _a\left( v\right) \right) , \end{aligned}$$for all \(\left( a,u\right) , \left( b,v\right) \in S\times T\), is a weak brace.
Note that the previous examples include those of skew braces provided by Koch and Truman in [25, Example 6.1] and by Guarnieri and Vendramin in [21, Examples 1.4-1.5].
Further examples of weak braces will be subsequently presented in the last two sections. Specifically, the third weak brace in Examples 2 will be a particular case of a construction we deal with in Sect. 4.
The following propositions are crucial to prove that any weak brace determines a solution.
Proposition 9
Let S be a weak brace. Then, the following hold:
-
1.
\(\lambda _a(b)=-a\circ b \circ b^-+a\circ b\),
-
2.
\(\lambda _a\left( b\right) = a\circ b\circ \rho _b\left( a\right) ^-\),
-
3.
\(\rho _b\left( a\right) ^- = b^-\circ a^- - b^-\),
-
4.
\(\rho _b\left( a\right) = \lambda _a\left( b\right) ^-\circ a \circ b\),
for all \(a,b\in S\). In particular,
for all \(a,b\in S\).
Proof
1. Let \(a,b \in S\). Then,
2. If \(a, b\in S\), we have that
3. Let \(a,b \in S\). Then, we get
4. If \(a,b \in S\), we obtain that
which complete our claim. \(\square \)
As shown in [5, Proposition 6], if S is a left cancellative semi-brace, then the map \(\rho :S\rightarrow {\mathcal {T}}_S, b\mapsto \rho _b\) is a semigroup anti-homomorphism of the group \(\left( S,\circ \right) \) into the monoid \({\mathcal {T}}_S\). This property also holds in any weak brace.
Proposition 10
Let S be a weak brace. Then, the map \(\rho :S\rightarrow {\mathcal {T}}_S, b\mapsto \rho _b\) is a semigroup anti-homomorphism of the inverse semigroup \(\left( S,\circ \right) \) into the monoid \({\mathcal {T}}_S\).
Proof
Let \(a,b,c \in S\). Then, we get
hence \(\rho _{b\circ c} = \rho _c\rho _b\), which is our statement. \(\square \)
Remark 1
If S is a weak brace, the map \(\rho _b\) can be written as
for all \(a,b\in S\), see [21, Theorem 3.1]. In fact, we have that
which is our claim.
4 The solution associated to a weak brace
In this section, we show that the map r associated to any weak brace S is a solution. Furthermore, such a map r admits as an inverse the map \(r^{op}\), that coincides with the solution associated to the opposite weak brace of S, and it holds \(rr^{op}=r^{op}r\), namely r is a completely regular element in \({\mathcal {T}}_{S \times S}\). Finally, we investigate the behavior of the powers of these solutions.
Let us begin by introducing the following lemma which allows us to prove the main result of this paper.
Lemma 3
Let S be a weak brace. Then, the following identity
holds, for all \(a, b \in S\).
Proof
Let \(a,b \in S\). Then, we have
Therefore, this is the desired conclusion. \(\square \)
Theorem 11
Let S be a weak brace. Then, the map associated to S \(r:S\times S\rightarrow S\times S\) defined by
for all \(a,b\in S\), is a solution.
Proof
Given a set S, it is a routine computation verifying that a map \(r:S\times S\rightarrow S\times S\) written as \(r\left( a,b\right) = \left( \lambda _a\left( b\right) , \, \rho _b\left( a\right) \right) \) is a solution if and only if
for all \(a,b,c \in S\). Thus, we prove our statement by showing that these last equalities hold for the map r associated to the weak brace S.
By Proposition 7 and by Proposition 10, the maps \(\lambda \) and \(\rho \) are a homomorphism and an anti-homomorphism, respectively. Thus, by (4), the relations in (5) and (7) follow.
Finally, since by Proposition 9, we have
we get
thus (6) is satisfied. Therefore, r is a solution. \(\square \)
Now, to show that the solution r associated to any weak brace S is a completely regular map, we introduce the notion of opposite weak brace of S, which is consistent with that given by Koch and Truman [25, Proposition 3.1] in the context of skew braces.
Proposition 12
Let \((S,+,\circ )\) be a weak brace and define \(a+^{op}b:= b + a\), for all \(a,b \in S\). Then, \(S^{op}:=\left( S,+^{op}, \circ \right) \) is a weak brace, which we call the opposite weak brace of S.
Proof
Clearly, \(\left( S, +^{op}\right) \) is an inverse semigroup with \(-^{op}a=-a\), for every \(a \in S\). Thus,
Moreover, if \(a,b,c\in S\), we get
thus \(S^{op}\) is a weak brace. \(\square \)
Simple examples of opposite weak braces are the trivial and the almost trivial ones.
Remark 2
Given a weak brace S, let us observe that the solution \(r^{op}\) associated to \(S^{op}\) can be written as
for all \(a,b \in S\). Indeed, by Proposition 9-3.,
and
for all \(a,b\in S\).
The following theorem illustrates a significant property of the solution r associated to an arbitrary weak brace S, namely r has a behavior close to bijectivity. Moreover, this result includes that in [25, Theorem 4.1], where it is proved that the inverse of the bijective solution r associated to a skew brace S is the solution \(r^{op}\) associated to the opposite skew brace of S.
Theorem 13
Let S be a weak brace, r the solution associated to S, and \(r^{op}\) the solution associated to the opposite weak brace of S. Then, the following hold
namely, r is a completely regular element in \({\mathcal {T}}_{S\times S}\). Moreover, \(rr^{op}\) is a solution. In particular, if S is a skew brace, then the solution r is bijective with \(r^{-1} = r^{op}\).
Proof
Let \(a,b \in S\). Initially, we prove that \(rr^{op} = r^{op}r\). Note that, by Proposition 7, we have
Thus, the first component of \(rr^{op}\left( a,b\right) \) is
Moreover, by Proposition 9-4. and by (4), the second component of \(rr^{op}(a,b)\) is equal to
Besides, we obtain that
Therefore, the map \(r^{op}r = rr^{op}\). Moreover, it is a routine computation to verify that \(rr^{op}\) satisfies (5), (6), and (7), hence it is a solution. It follows that, by Proposition 9-1., the first component of \(r\, r^{op}\, r(a,b)\) is
and, by Proposition 9-4., the second component is equal to
and so \(r\, r^{op}\, r = r\). Furthermore, by Remark 2, the first component of \(r^{op}\,r\,r^{op}(a,b)\) is
and the second one is
i.e., \(r^{op}\,r\,r^{op} = r^{op}\). Therefore, r is a completely regular map. Finally, if S is a skew brace, by [21, Thereom 3.1], r is bijective, hence we clearly have that \(r^{op} = r^{-1}\). \(\square \)
Remark 3
-
1.
In general, one can note that every solution may have more than one inverse. An example is given by the solution r on a monoid \((S,\circ )\), with \(|S|\ge 1\), defined by \(r\left( a,b\right) = \left( a\circ b,\, 1\right) \), for all \(a,b\in S\). Indeed, r is an idempotent solution (cf. [9, Examples 1.1]), thus an inverse is r itself. Furthermore, the idempotent solution \(s\left( a,b\right) = \left( 1,\, a\circ b\right) \) is another inverse of r, which does not commute with r.
-
2.
If S is a weak brace, then the solution r associated to S has a behavior which is close to non-degeneracy. Indeed, as observed in Corollary 3, the map \(\lambda _a\) admits the map \(\lambda _{a^-}\) as an inverse, for every \(a\in S\). Similarly, by Proposition 10, the map \(\rho _b\) admits \(\rho _{b^-}\) as an inverse, for every \(b \in S\). Evidently, if \((S, \circ )\) is a Clifford semigroup, such maps are completely regular. In the next section, we will provide a weak brace in Example 3 for which \(\lambda _{a \circ a^-}\ne \lambda _{a^- \circ a}\).
Remark 4
Note that the map \(rr^{op}\) in Theorem 13 can be obtained starting from an arbitrary inverse semigroup. Namely, if \((S, \circ )\) is an inverse semigroup, the map \(s=rr^{op}\) given by
for all \(a,b\in S\), is a solution that is idempotent.
Now, we focus on the behavior of the powers of the solutions r. We start by proving the following lemma, which is already known for solutions associated to skew braces, see [33, Lemma 4.13]. The properties obtained until now allow us to prove it in a similar way even in the more general context.
Lemma 4
Let S be a weak brace and r the solution associated to S. Then, the following hold
for every \(n\in {\mathbb {N}}\), \(n>0\), and for all \(a,b \in S\).
Proof
For the sake of simplicity, set \(\lambda _a^{(1)}\left( b\right) := \lambda _a\left( b\right) \) and \(\rho _b^{(1)}\left( a\right) := \rho _b\left( a\right) \), and for every \(n\in {\mathbb {N}}\), \(n >0\), write
for all \(a,b \in S\). It is a routine computation to check that
and
hold, for all \(a,b \in S\). Furthermore, by (10) and by Proposition 9-4., proceeding by a simple induction we obtain
for all \(a,b \in S\). Hence, we only prove that
for all \(a,b \in S\), and we proceed by induction on \(n>0\).
If \(a,b \in S\), for \(n = 1\), by (4) we get
and,
Assume the claim follows for some \(n >1\). Then, if n is even, by induction hypothesis, we have
hence (12) follows. Analogously, if n is odd, one can see that (11) is satisfied. \(\square \)
In the following proposition, we prove that the solutions associated to a weak brace having a commutative semigroup as additive structure are cubic, i.e., \(r^3 = r\). Clearly, if S is a brace, since r is bijective we obtain \(r^2 = {{\,\mathrm{id}\,}}_{S\times S}\), see [32].
Proposition 14
Let S be a weak brace and r the solution associated to S. Then, if the inverse semigroup \(\left( S,+\right) \) is commutative it follows that \(r^3 =r\).
Proof
Let \(a,b \in S\). Then, by Lemma 4, we have that
hence, by 4. in Proposition 9, \(\rho ^{(3)}_b\left( a\right) =\left( \lambda ^{(3)}_a\left( b\right) \right) ^-\circ a \circ b=\left( \lambda _a\left( b\right) \right) ^-\circ a \circ b=\rho _b(a)\). Therefore, the claim follows. \(\square \)
To conclude this section, we give a property of a solution associated to a weak brace S with an idempotent semigroup \((S,+)\).
Proposition 15
Let S be a weak brace and r the solution associated to S. Then, if the inverse semigroup \(\left( S,+\right) \) is idempotent it follows that \(r^3 =r^2\).
Proof
If \(a,b \in S\), then by Lemma 4, we have that
hence \(\rho ^{(3)}_b\left( a\right) =\left( \lambda ^{(3)}_a\left( b\right) \right) ^-\circ a \circ b = \left( \lambda _a\left( b\right) ^{(2)}\right) ^-\circ a \circ b = \rho ^{(2)}_b(a)\). Therefore, the claim follows. \(\square \)
5 Constructions of weak braces
This section aims to review some of the constructions of inverse semi-braces provided in [10] to obtain new examples belonging to the class of weak braces.
To this purpose, it is useful to characterize inverse semi-braces which are also weak braces.
Proposition 16
Let S be a non-empty set endowed with two operations \(+\) and \(\circ \) such that \((S,+)\) and \((S, \circ )\) are semigroups. Then, S is a weak brace if and only if S is an inverse semi-brace such that the following hold:
-
1.
\((S,+)\) is inverse,
-
2.
\(a\circ \left( a^- + b\right) = -a + a\circ b\),
for all \(a,b\in S\).
Proof
Initially, note that we have already observed that any weak brace is an inverse semi-brace. Conversely, assume that S is an inverse semi-brace such that 1. and 2. are satisfied. We only have to show that, for every \(a\in S\), \(a\circ a^- = - a + a\). Let us observe that the statements in Lemma 1, Proposition 7, and Lemma 2 still hold. If \(a \in S\), we have that \(a \circ a^- \in E(S,+)\). In fact,
Moreover, we obtain
Indeed, by Lemma 2, \(-a=\lambda _a\left( a^-\right) =a\circ \left( a^-+a^-\right) =a\circ a^-+\lambda _a\left( a^-\right) =a\circ a^--a\), hence \(a=a-a\circ a^-=a+a\circ a^-\).
Now, we show that \(a \circ a^-\) is the opposite of \(-a+a\). We have that
and
Therefore, S is a weak brace. \(\square \)
Let us begin by examining the construction named matched product of inverse semi-braces. We show that any matched product of weak braces gives rise to another one without requiring any additional properties. To this purpose, we need the maps \(\alpha \) and \(\beta \) in [10, Definition 10], which allow for obtaining such a new weak brace having multiplicative semigroup isomorphic to a Zappa product of the starting inverse semigroups. Hereinafter, for the ease of the reader, given two weak braces S and T, we use the letters a, b, c for the elements of S and u, v, w for the elements of T.
Definition 17
Let S and T be two weak braces, \(\alpha : T \rightarrow {{\,\mathrm{Aut}\,}}\left( S\right) \) a homomorphism of inverse semigroups from \(\left( T,\circ \right) \) into the automorphism group of \(\left( S,+\right) \), and \(\beta :S\rightarrow {{\,\mathrm{Aut}\,}}\left( T\right) \) a homomorphism of inverse semigroups from \(\left( S,\circ \right) \) into the automorphism group of \(\left( T,+\right) \) such that
hold, for all \(a,b \in S\) and \(u,v \in T\). Then, \((S,T,\alpha ,\beta )\) is called a matched product system of weak braces.
Theorem 18
(cf. [10], Theorem 12) Let \(\left( S,T,\alpha ,\beta \right) \) be a matched product system of weak braces. Then, \(S\times T\) with respect to
for all \(\left( a,u\right) , \left( b,v\right) \in S \times T\), is a weak brace, called the matched product of S and T (via \(\alpha \) and \(\beta \)) and denoted by \(S\bowtie T\).
Proof
By [10, Theorem 12], we have that \(S\bowtie T\) is an inverse semi-brace. Moreover, the additive structure is clearly an inverse semigroup since \(\left( S\times T, +\right) \) is the direct product of \(\left( S, +\right) \) and \(\left( T, +\right) \). Thus, we only need to show that condition 2. in Proposition 16 is satisfied.
Let \(\left( a,u\right) , \left( b,v\right) \in S \times T\). Then, we obtain
and
Therefore, by Proposition 16, \(S\times T\) is a weak brace. \(\square \)
As shown in [10, Theorem 15], the solution r associated to any matched product \(S \bowtie T\) of two weak braces S and T is exactly the matched product of the solutions \(r_S\) and \(r_T\) associated to S and T, respectively, and it is given by
where we set
for all \(\left( a,u\right) ,\left( b,v\right) \in S\times T\) (cf. [10, Theorem 14]).
The semidirect product of two weak braces, cf. [10, Corollary 17], is a particular case of the matched product. Specifically, if \(\left( S, T, \alpha , \beta \right) \) is a matched product system, we consider \(\beta _a = {{\,\mathrm{id}\,}}_T\), for every \(a\in S\). Analogously, one can consider the case \(\alpha _u = {{\,\mathrm{id}\,}}_S\), for every \(u\in T\). A simple example of such a case is 3. in Examples 2, regarding both the Clifford semigroups S and T as trivial weak braces. In this way, the inverse semigroup \(\left( S\times T, \circ \right) \) is exactly the semidirect product of the inverse semigroups \(\left( S,\circ \right) \) and \(\left( T,\circ \right) \) via \(\alpha \) (or via \(\beta \)), in the sense of [29, 31]. Namely, this is the Zappa product of the two semigroups \((S,\circ )\) and \((T,\circ )\) with \(^{u}a = \sigma \left( u\right) \left( a\right) = \alpha _u\left( a\right) \) and \(u^a = \beta _a\left( u\right) = u\), for all \(a\in S\) and \(u\in T\). In particular, the multiplication \(\circ \) on \(S \times T\) is given by
for all \((a,u), (b,v)\in S\times T\).
The following is an instance of weak brace obtained starting from the semidirect product of Clifford semigroups, cf. [10, Example 9].
Example 3
Let \(X:=\{1,x,y\}\), S the upper semilattice on X with join 1, and T the commutative inverse monoid on X with identity 1 in which they hold \(x\circ x = y\circ y= x\) and \(x\circ y = y\). Consider the trivial weak braces on S and T, respectively. If \(\tau \) is the automorphism of S given by the transposition \(\tau := (x\, y)\), then the map \(\sigma :T\rightarrow {{\,\mathrm{Aut}\,}}(S)\) given by \(\sigma (1) = \sigma (x) = {{\,\mathrm{id}\,}}_S\) and \(\sigma (y) = \tau \), is a homomorphism from \(\left( T,\circ \right) \) into the automorphism group of the weak brace S. Therefore, by Theorem 18, \(S \times T\) is the semidirect product of S and T.
In addition, as anticipated in Remarks 3, there exists an element \((a,u) \in S \times T\) such that \(\lambda _{(a,u)\circ (a,u)^-} \ne \lambda _{(a,u)^-\circ (a,u)}\). Indeed, \(\lambda _{(y,y)\circ (y,y)^-}\left( y,1\right) = \lambda _{(y,x)}\left( y,1\right) = \left( y,x\right) \) and \(\lambda _{(y,y)^-\circ (y,y)}\left( y,1\right) = \lambda _{(x,x)}\left( y,1\right) = \left( 1, x\right) \).
Now, we show how to obtain a new weak brace involving the construction of the double semidirect product of inverse semi-braces, cf. [10, Theorem 19]. In this case, to obtain an inverse semigroup \((S\times T,+)\), we need that the codomain of the map \(\delta \) is \({{\,\mathrm{Aut}\,}}(S)\), cf. [35, Theorem 4]. Moreover, the additional condition (15) ensures that it also is a Clifford semigroup, a necessary condition by Theorem 8.
Theorem 19
Let S and T be two weak braces, \(\sigma : T\rightarrow {{\,\mathrm{Aut}\,}}\left( S\right) \) a homomorphism from \(\left( T,\circ \right) \) into the automorphism group of the weak brace S, with \({}^u a:= \sigma (u)(a)\), for all \(a \in S\) and \(u \in T\), and \(\delta :S\rightarrow {{\,\mathrm{Aut}\,}}\left( T\right) \) an anti-homomorphism from \(\left( S, +\right) \) into the automorphism group of \(\left( T, +\right) \), with \(u^a:=\delta (a)(u)\), for all \(a \in S\) and \(u \in T\). If the following conditions
hold, for all \(a,b \in S\) and \(u,v, w\in T\), then \(S \times T\) with respect to
for all \(\left( a,u\right) , \left( b,v\right) \in S \times T\), is a weak brace. We call such a weak brace the double semidirect product of S and T (via \(\sigma \) and \(\delta \)).
Proof
By [10, Theorem 19], we have that \(S\bowtie T\) is an inverse semi-brace. Moreover, the additive structure is an inverse semigroup since it is the semidirect product of the semigroups \((S,+)\) and \((T,+)\). Thus, we only show that the condition 2. in Proposition 16 is satisfied. If \(\left( a,u\right) , \left( b,v\right) \in S \times T\), by setting \(v=u^-\circ u\) in (16), we obtain
Hence, we get
Thus, it follows that
and
Therefore, by Proposition 16, \(S\times T\) is a weak brace. \(\square \)
By [10, Theorem 23], we have that the solution r associated to a double semidirect product of S and T via \(\sigma \) and \(\delta \) is given by
for all \(\left( a,u\right) , \left( b,v\right) \in S\times T\), with \(\Omega _{u,v}^{a} := \left( u^{-}\right) ^a+v\), for all \(a\in S\), \(u,v\in T\).
6 Weak braces obtained from factorizable inverse monoids
In this section, we give a class of examples of weak braces. Specifically, we extend the construction provided in [21, Example 1.6] and [33, Theorem 3.3], involving exactly factorizable inverse monoids. Finally, we show that any exactly factorizable group determines two skew braces which, in general, are not isomorphic.
A semigroup \((S, +)\) is said to be factorizable if \(S=U+V\), where U and V are subsemigroups of S [34]. The pair (U, V) is called a factorization of S, with factors U and V. Moreover, a factorization (U, V) of S is called exact (or univocal) if any element \(a\in S\) can be written in a unique way as \(a = u_a + v_a\), with \(u_a\in U\) and \(v_a\in V\). In such a case, it holds that \(U\cap V= \{0\}\), with 0 both right identity of U and left identity of V, cf. [3, Theorem 2]. Clearly, if U and V are Clifford semigroups, then 0 is the identity of U and V and, consequently, \((S, +)\) is a monoid.
Let us observe that, in general, if S is a monoid admitting an exact factorization into two Clifford submonoids, then S is not necessarily a Clifford monoid. However, below we illustrate how to obtain easy examples of Clifford semigroups admitting an exact factorization, involving the semidirect product of a group and a Clifford monoid.
Example 4
Let S be a group, T a Clifford monoid, and \(\sigma :T\rightarrow {{\,\mathrm{Aut}\,}}\left( S\right) \) a homomorphism. Then, \(S\rtimes _{\sigma } T\) is a Clifford semigroup. Indeed, by [31, Theorem 6], it is an inverse semigroup. Moreover, it is easy to check that \(E\left( S\rtimes _{\sigma } T\right) = \{\left( 0,e\right) \, | \, e\in E\left( T\right) \}\). Hence, if \((a, u) \in S \times T\) and \(e\in E\left( T\right) \),
i.e., \(S\rtimes _{\sigma } T\) is a Clifford semigroup. Furthermore, the factorization of \(S\rtimes _{\sigma } T\) is exact. Note that, if T is an idempotent semigroup, then the semidirect product is direct.
We refer to the survey by FitzGerald [17] for methods that allow to construct factorizable inverse monoids.
The following theorem is the main result of this section which shows how to obtain a weak brace starting from an exact factorization of a Clifford semigroup.
Theorem 20
Let \((S,+)\) be a Clifford semigroup and (U, V) an exact factorization of S into two Clifford subsemigroups. Define on S the operation given by
for all \(a,b\in S\). Then, \(S_{\circ }:=\left( S,+,\circ \right) \) is a weak brace and its multiplicative semigroup is isomorphic to the additive semigroup \(U\times V\). Moreover, U and V are the trivial and the almost trivial weak braces, respectively.
Proof
Initially, let us observe that \(\left( S, \circ \right) \) trivially is a semigroup. Moreover, \((S,\circ )\) is a completely regular semigroup. Indeed, if \(a\in S\) and \(x:= -u_a - v_a\), we get
and \(a\circ x = u_a-u_a-v_a+v_a=-u_a+u_a+v_a-v_a=x\circ a\). Besides, \((S,\circ )\) is a Clifford semigroup. In fact, if \(e\in E(S,\circ )\) and \(a\in S\), then we have \(u_e,v_e\in E(S,+)\) and \(a\circ e= u_a+u_e+v_e+v_a=u_e+u_a+v_a+u_e=e\circ a\). In addition, it holds \(x=a^-\), since
Now, if \(a,b,c \in S\), then we obtain
and \( a\circ a^- = u_a-u_a - v_a +v_a = -u_a + u_a -v_a + v_a= -a+a\). Therefore, \(S_{\circ }\) is a weak brace.
Moreover, it is easy to show that the map \(\eta :U\times V\rightarrow S\) given by \(\eta (u,v)=u-v\), for all \((u, v) \in U \times V\), is an isomorphism from the additive semigroup \(U \times V\) into the multiplicative semigroup \((S, \circ )\). Finally, the last part of the statement is trivial. \(\square \)
Let us observe that weak braces \(S_{\circ }\) obtained as in the previous theorem are also generalized semi-braces.
In the particular case of factorizable groups, we recover the results given in [21, Example 1.6] and [33, Theorem 3.3].
Corollary 21
Let \((G,+)\) be a group and (U, V) an exact factorization of G into two subgroups. Then, \(G_{\circ }\) is a skew brace and its multiplicative group is isomorphic to the additive group \(U\times V\). Moreover, U and V are the trivial and the almost trivial skew braces, respectively.
Remark 5
Regarding any element \(a=u_a+v_a\) of G as the pair \(\left( u_a, v_a\right) \) in \(U\times V\), the construction in Corollary 21 is an instance of the double semidirect product of the two skew braces U and V presented in Theorem 19, where \(\sigma _v = {{\,\mathrm{id}\,}}_U\), for every \(v\in V\), or, equivalently, \((U,+)\unlhd (G,+)\). Indeed, in such a case, if \(a,b\in U\) and \(t, v, w \in V,\) clearly
and (15) is trivial. Moreover, \(\lambda _{a}\left( b\right) = b\) and
i.e., (16) holds.
Remark 6
We recall that a skew (left) brace \((S, +, \circ )\) is a bi-skew (left) brace if in addition the roles of the sum and the multiplication can be reversed, i.e.,
holds, for all \(a,b,c \in S\), cf. [13]. As a direct consequence of [13, Proposition 7.1], if \((G,+)\) is a group and (U, V) is an exact factorization of G into two subgroups, then \(G_{\circ }\) is a bi-skew brace.
Now, given a group \(\left( G, +\right) \) with an exact factorization (U, V), we wonder what happens if we consider the other factorization (V, U) of G. Thus, any element \(a \in G\) can be also written as \(a=v_a'+u_a'\). In a similar way, by exchanging the roles of U and V in Corollary 21, one can prove the following result.
Proposition 22
Let \((G,+)\) be a group and (V, U) an exact factorization of G into two subgroups. Define on G the following operation
for all \(a,b \in G\). Then, \(G_{\bullet }:=(G,+,\bullet )\) is a skew brace and its multiplicative group is isomorphic to \(V\times U\). Moreover, V and U are the trivial and the almost trivial skew braces, respectively.
As in the case of \(G_{\circ }\), one can check the following result.
Proposition 23
Let \((G,+)\) be a group and (V, U) an exact factorization of G into two subgroups, with V a normal subgroup of G. Then, \(G_{\bullet }\) is a bi-skew brace.
In general, we point out that the skew braces \(G_{\circ }\) and \(G_{\bullet }\) are not isomorphic. Note that, if two skew braces are not isomorphic, the associated solutions can be equivalent. For instance, it is enough to consider the trivial left braces on two abelian not-isomorphic groups having the same order, since the solutions associated coincide with the twist map. Thus, we wonder under which assumptions the skew braces \(G_{\circ }\) and \(G_{\bullet }\) give rise to non-equivalent solutions.
The next is an easy example in which the solutions \(r_{\circ }\) and \(r_{\bullet }\) associated to \(G_{\circ }\) and \(G_{\bullet }\), respectively, are not equivalent since \(G_{\circ }\) is a trivial skew brace and \(G_{\bullet }\) is an almost trivial skew brace.
Example 5
Let us consider a group G which is the direct product \(G = U+V\) with a non-abelian group U and an abelian group V. Clearly, we have that \(u + v = v + u\), for all \(u\in U\) and \(v\in V\). Then, \(G_{\circ }\) is the trivial skew brace, since
for all \(a,b\in G\). On the other hand, \(G_{\bullet }\) is an almost trivial skew brace. Indeed,
for all \(a,b\in G\). Obviously, these skew braces are not isomorphic and the solutions associated to \(G_{\circ }\) and \(G_{\bullet }\) are not equivalent. In this case, such solutions are
for all \(a,b\in G\), respectively. Moreover, it holds \(r_{\circ } = \tau \, r_{\bullet } \,\tau \), where \(\tau \) is the twist map.
Now, we focus on exact factorizations having abelian factors. Initially, we observe that if \(G=U+V\) is an exact factorization with U and V abelian subgroups of \((G,+)\), then \(\left( G,\circ \right) \) is an abelian group, indeed
for all \(a,b \in G\). Similarly, \(\left( G,\bullet \right) \) is an abelian group.
Recently, a complete classification of skew braces of order pq with p and q primes, up to isomorphism, has been provided in [1, Theorem p.2]. In particular, if \(p > q\) and \(q\mid p-1\) there are \(2q+2\) skew braces, otherwise there is only the trivial one. As far as we have observed, starting from an exact factorization \(G=U+V\) different from a direct sum, with \(|U|=p\) and \(|V|=q\), we obtain that \((G,\circ )\) and \((G,\bullet )\) are abelian groups. Consequently, the skew braces \(G_{\circ }\) and \(G_{\bullet }\) are among those described in the cases (ii) or (iii) in [1, Theorem p.2] with the additive group isomorphic to \({\mathbb {Z}}_p\rtimes {\mathbb {Z}}_q\). Indeed, by elementary computations, one can check that (ii) and (iii) are the unique skew braces in the classification having abelian multiplicative groups.
Below, we highlight that even in the smallest case, \(G_{\circ }\) and \(G_{\bullet }\) are not isomorphic and the solutions \(r_{\circ }\) and \(r_{\bullet }\) are not equivalent.
Example 6
Let us consider the symmetric group \(G={{\,\mathrm{Sym}\,}}_3\) exactly factorized as \(U+V\), where \(U= \left<\left( 1 2\right) \right>\) and \(V= \left<\left( 1 2 3\right) \right>\). Then, \(G_{\circ }\) is a skew brace (case (ii)), while \(G_{\bullet }\) is a bi-skew brace (case (iii)) having both the multiplicative groups isomorphic to the cyclic group of order 6. Specifically, \((G, \circ ) = \left<(13)\right> = \left<(23)\right>\) and \((G, \bullet ) = \left<(13)\right> = \left<(23)\right>\). In addition, the solutions \(r_{\circ }\) and \(r_{\bullet }\) are described by
and
These solutions are not equivalent. Indeed, by a routine computation one can check that the unique bijection f from G into itself satisfying \((f \times f)r_{\circ } = r_{\bullet }(f \times f)\) would be the identity on G, an absurd.
References
Acri, E., Bonatto, M.: Skew braces of size \(pq\). Commun. Algebra 48(5), 1872–1881 (2020). https://doi.org/10.1080/00927872.2019.1709480
Baxter, R.J.: Partition function of the eight-vertex lattice model. Ann. Phys. 70, 193–228 (1972). https://doi.org/10.1016/0003-4916(72)90335-1
Catino, F.: Factorizable semigroups. Semigroup Forum 36(2), 167–174 (1987). https://doi.org/10.1007/BF02575013
Catino, F., Cedó, F., Stefanelli, P.: Nilpotency in left semi-braces. Preprint arXiv:2010.04939. Accepted for publication in the Journal of Algebra (2022)
Catino, F., Colazzo, I., Stefanelli, P.: Semi-braces and the Yang-Baxter equation. J. Algebra 483, 163–187 (2017). https://doi.org/10.1016/j.jalgebra.2017.03.035
Catino, F., Colazzo, I., Stefanelli, P.: Skew left braces with non-trivial annihilator. J. Algebra Appl. 18(2), article no. 1950033 (2019). https://doi.org/10.1142/S0219498819500336
Catino, F., Colazzo, I., Stefanelli, P.: The matched product of the solutions to the Yang-Baxter equation of finite order. Mediterr. J. Math. 17, 58 (2020). https://doi.org/10.1007/s00009-020-1483-y
Catino, F., Colazzo, I., Stefanelli, P.: Set-theoretic solutions to the Yang-Baxter equation and generalized semi-braces. Forum Math. 33(3), 757–772 (2021). https://doi.org/10.1515/forum-2020-0082
Catino, F., Mazzotta, M., Stefanelli, P.: Set-theoretical solutions of the Yang-Baxter and pentagon equations on semigroups. Semigroup Forum 100(3), 1–26 (2020). https://doi.org/10.1007/s00233-020-10100-x
Catino, F., Mazzotta, M., Stefanelli, P.: Inverse semi-braces and the Yang-Baxter equation. J. Algebra 573, 576–619 (2021). https://doi.org/10.1016/j.jalgebra.2021.01.009
Cedó, F., Smoktunowicz, A., Vendramin, L.: Skew left braces of nilpotent type. Proc. Lond. Math. Soc. (3) 118(6), 1367–1392 (2019). https://doi.org/10.1112/plms.12209
Childs, L.N.: Skew braces and the Galois correspondence for Hopf Galois structures. J. Algebra 511, 270–291 (2018). https://doi.org/10.1016/j.jalgebra.2018.06.023
Childs, L.N.: Bi-skew braces and Hopf Galois structures. New York J. Math. 25, 574–588 (2019)
Clifford, A.H., Preston, G.B.: The Algebraic Theory of Semigroups. Vol. I. Mathematical Surveys, No. 7. American Mathematical Society, Providence, R.I. (1961)
Drinfel’d, V.G.: On some unsolved problems in quantum group theory. In: Quantum groups (Leningrad, 1990), Lecture Notes in Math., vol. 1510, pp. 1–8. Springer, Berlin (1992). https://doi.org/10.1007/BFb0101175
Etingof, P., Schedler, T., Soloviev, A.: Set-theoretical solutions to the quantum Yang-Baxter equation. Duke Math. J. 100(2), 169–209 (1999). https://doi.org/10.1215/S0012-7094-99-10007-X
FitzGerald, D.G.: Factorizable inverse monoids. Semigroup Forum 80(3), 484–509 (2010). https://doi.org/10.1007/s00233-009-9177-6
Gateva-Ivanova, T., Van den Bergh, M.: Semigroups of \(I\)-type. J. Algebra 206(1), 97–112 (1998). https://doi.org/10.1006/jabr.1997.7399
Gateva-Ivanova, T., Majid, S.: Matched pairs approach to set theoretic solutions of the Yang-Baxter equation. J. Algebra 319(4), 1462–1529 (2008). https://doi.org/10.1016/j.jalgebra.2007.10.035
Gorshkov, I., Nasybullov, T.: Finite skew braces with solvable additive group. J. Algebra 574, 172–183 (2021). https://doi.org/10.1016/j.jalgebra.2021.01.027
Guarnieri, L., Vendramin, L.: Skew braces and the Yang-Baxter equation. Math. Comp. 86(307), 2519–2534 (2017). https://doi.org/10.1090/mcom/3161
Howie, J.M.: Fundamentals of Semigroup Theory, London Mathematical Society Monographs. New Series, vol. 12. The Clarendon Press, Oxford University Press, New York (1995)
Jespers, E., Kubat, Ł, Van Antwerpen, A., Vendramin, L.: Factorizations of skew braces. Math. Ann. 375(3–4), 1649–1663 (2019). https://doi.org/10.1007/s00208-019-01909-1
Jespers, E., Van Antwerpen, A.: Left semi-braces and solutions of the Yang-Baxter equation. Forum Math. 31(1), 241–263 (2019). https://doi.org/10.1515/forum-2018-0059
Koch, A., Truman, P.J.: Opposite skew left braces and applications. J. Algebra 546, 218–235 (2020). https://doi.org/10.1016/j.jalgebra.2019.10.033
Lawson, M.V.: Inverse Semigroups. The Theory of Partial Symmetries. World Scientific Publishing Co., Inc, River Edge (1998). https://doi.org/10.1142/9789812816689
Lu, J.H., Yan, M., Zhu, Y.C.: On the set-theoretical Yang-Baxter equation. Duke Math. J. 104(1), 1–18 (2000). https://doi.org/10.1215/S0012-7094-00-10411-5
Nejabati Zenouz, K.: Skew braces and Hopf-Galois structures of Heisenberg type. J. Algebra 524, 187–225 (2019). https://doi.org/10.1016/j.jalgebra.2019.01.012
Nico, W.R.: On the regularity of semidirect products. J. Algebra 80(1), 29–36 (1983). https://doi.org/10.1016/0021-8693(83)90015-7
Petrich, M.: Inverse Semigroups. Wiley, New York (1984)
Preston, G.B.: Semidirect products of semigroups. Proc. R. Soc. Edinburgh Sect. A 102(1–2), 91–102 (1986). https://doi.org/10.1017/S0308210500014505
Rump, W.: Braces, radical rings, and the quantum Yang-Baxter equation. J. Algebra 307(1), 153–170 (2007). https://doi.org/10.1016/j.jalgebra.2006.03.040
Smoktunowicz, A., Vendramin, L.: On skew braces (with an appendix by N. Byott and L. Vendramin). J. Comb Algebra 2(1), 47–86 (2018). https://doi.org/10.4171/JCA/2-1-3
Tolo, K.: Factorizable semigroups. Pacific J. Math. 31, 523–535 (1969)
Wazzan, S.: Zappa-Szép products of semigroups. Appl. Math. 6(06), 1047 (2015). https://doi.org/10.4236/am.2015.66096
Weinstein, A., Xu, P.: Classical solutions of the quantum Yang-Baxter equation. Commun. Math. Phys. 148(2), 309–343 (1992)
Yang, C.N.: Some exact results for the many-body problem in one dimension with repulsive delta-function interaction. Phys. Rev. Lett. 19, 1312–1315 (1967). https://doi.org/10.1103/PhysRevLett.19.1312
Acknowledgements
This work was partially supported by the Dipartimento di Matematica e Fisica “Ennio De Giorgi” - Università del Salento. The second and the fourth authors were partially supported by the ACROSS project ARS01_00702. The authors are members of GNSAGA (INdAM).
Funding
Open access funding provided by Università degli Studi di Milano within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Jan Okniński.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Catino, F., Mazzotta, M., Miccoli, M.M. et al. Set-theoretic solutions of the Yang–Baxter equation associated to weak braces. Semigroup Forum 104, 228–255 (2022). https://doi.org/10.1007/s00233-022-10264-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00233-022-10264-8