1. Introduction
The Yang–Baxter equation (YBE, for short), introduced in seminal works of Yang [Reference Yang17] and Baxter [Reference Baxter2], is one of the basic equations in mathematical physics which led to the foundation of the theory of quantum groups. The set-theoretic point of view proposed by Drinfeld in [Reference Drinfeld6] attracted great attention due to its links with other areas such as knot theory and Hopf algebras. Given a non-empty set $X$, a set-theoretic solution (a solution, for short) $(X,r)$ of the YBE is a map $r\colon X \times X \rightarrow X \times X$ such that
where the maps $r_{12}, r_{23}\colon X \times X \times X \rightarrow X \times X \times X$ are defined as $r_{12} = r\times \operatorname {id}_X$ and $r_{23} = \operatorname {id}_X \times r$.
Solutions satisfying additional conditions were intensively analysed in [Reference Etingof, Schedler and Soloviev7, Reference Gateva-Ivanova and Van den Bergh9, Reference Lu, Yan and Zhu13]. In particular, non-degenerate solutions, i.e. solutions $(X,r)$ such that both projections of $r$ are bijective, give rise to new algebraic structures. Braces were first introduced by Rump in [Reference Rump14] as a generalization of Jacobson radical rings in the context of involutive ($r^2 = \operatorname {id}_{X\times X}$) non-degenerate solutions. A generalization of this structure, the so-called skew left brace, was introduced by Guarnieri and Vendramin in [Reference Guarnieri and Vendramin10] in order to study bijective (not necessarily involutive) non-degenerate solutions: every skew left brace provides a bijective non-degenerate solution and vice versa. However, there is no bijective correspondence nor categorical equivalence between skew braces and set-theoretic solutions.
These new algebraic structures brought a lot of connections with some mathematical topics of recent interest such as regular subgroups and Hopf–Galois extensions [Reference Childs4, Reference Smoktunowicz and Vendramin15], trifactorized groups [Reference Ballester-Bolinches and Esteban-Romero1, Reference Sysak16], braided groups [Reference Gateva-Ivanova8], Bieberbach groups [Reference Gateva-Ivanova and Van den Bergh9] or Garside theory [Reference Chouraqui5].
Such wide ranging of links between diverse areas of mathematics shows that an in-depth study of the algebraic structure of skew left braces is essential. The more we know about skew left braces the more we know about their associated bijective non-degenerate solutions of the YBE. In this context, an algebraic structural study of skew left braces is imperative. Furthermore, as skew left braces are an interaction of two group structures on the same set and an extension of radical rings, it is natural to approach them with group and ring theoretical methods.
An important family of finite solutions of the Yang–Baxter equation is that of non-degenerate multipermutation solutions. Such solutions appeared in the paper [Reference Etingof, Schedler and Soloviev7] of Etingof, Schedler, and Soloviev as generalizations of permutation solutions and now these solutions appear in many different contexts.
In this paper, we study finite non-degenerate multipermutation solutions by means of the skew left brace structure of their permutation groups and via chief series of this skew left brace. We prove a sort of analogue of an important strengthened form of the Jordan–Hölder theorem on groups, but now in the context of skew left braces and introduced the notion of finite chief length. Although this result is interesting on their own, it can be used to characterize noetherian and artinian skew left braces introduced in [Reference Jespers, Kubat, Van Antwerpen and Vendramin11]. The Jordan–Hölder theorem also allows us to study right nilpotency of skew left braces by means of their chief factors and relate the chief length of a skew left brace with multipermutation level of the associated solution of the Yang–Baxter equation. Some results in [Reference Cedó, Smoktunowicz and Vendramin3] on right nilpotency are improved for skew left braces with chief series.
2. Preliminaries
A skew left brace $(B,+,\cdot )$ is defined to be a set $B$ endowed with two group structures $(B,+)$ (the additive group) and $(B,\cdot )$ (the multiplicative group) satisfying the following property:
From now on, we use juxtaposition for the product of elements. Recall that in skew left braces, the identity elements of both group structures coincide. We will use $1$ to denote both identity elements.
Let $\mathfrak X$ be a class of groups. If $(B, +)$ belongs to $\mathfrak X$, then $B$ is called a skew left brace of $\mathfrak X$-type. Rump's braces introduced in [Reference Rump14] are, in fact, the skew left braces of abelian type.
A subbrace of $(B,+,\cdot )$ is a subgroup of the additive group which is also a subgroup of the multiplicative group. A homomorphism between two skew left braces $A$ and $B$ is a map $f\colon A \rightarrow B$ satisfying that $f(a + b) = f(a) + f(b)$ and $f(ab) = f(a)f(b)$ for all $a,b\in A$. The kernel of $f$ is defined as the set $\operatorname {Ker}(f) = \{a \in A \, |\, f(a) = 1\}$. If $f$ is bijective, $f$ is called an isomorphism. We shall say that the braces $A$ and $B$ are isomorphic, if there is an isomorphism between $A$ and $B$. In this case, we write $A \cong B$
If $(B,+,\cdot )$ is a skew left brace, the multiplicative group $(B,\cdot )$ acts on the additive group $(B,+)$ via automorphisms: for every $a\in B$, the map $\lambda _a \colon B \rightarrow B$, given by $\lambda _a(b) = -a + ab$, is an automorphism of $(B,+)$ and the map $\lambda \colon (B,\cdot ) \rightarrow \operatorname {Aut}(B,+)$ which sends $a \mapsto \lambda _a$ is a group homomorphism (see [Reference Guarnieri and Vendramin10, proposition 1.9]). This group action relates the two operations on a skew left brace. For every $a,b\in B$, it holds
From now on, if $(B,+,\cdot )$ is a skew left brace, we will write simply $B$ and the operations on $B$ are understood.
Lemma 2.1 For a skew left brace $B$, the kernel of the action $\lambda$, that is, $\operatorname {Ker}\lambda = \{b \in B\, |\, \lambda _b = \operatorname {id}_B\}$, is a normal subgroup of $(B,\cdot )$ and a subgroup of $(B,+)$.
Proof. Only the second part of the statement is in doubt.
Clearly, $1\in \operatorname {Ker}\lambda$. Then, for every $a,b\in \operatorname {Ker} \lambda$, $a+b = a\lambda _{a^{-1}}(b) = ab \in \operatorname {Ker} \lambda$. Moreover, if $b \in \operatorname {Ker}\lambda$, then $-b = b(b^{-1} + b^{-1}) \in \operatorname {Ker} \lambda$.
Following [Reference Ballester-Bolinches and Esteban-Romero1], we can construct the semidirect product $G_B = [K]_\lambda C$ with respect to the action of $C = (B, \cdot )$ on $K = (B,+)$ by means of $\lambda$. We will refer to $G_B$ as the semidirect product associated with $(B,+,\cdot )$. We use multiplicative notation for the group operation on $G_B$.
Skew left braces may be viewed as generalizations of radical rings. This idea is behind the definition of ideal which plays a central role in the structural study of a skew left brace. First, we define the star operation, which plays an analogous role to multiplication in an associative ring.
Let $B$ be a skew left brace. Denote the operation:
In $G_B = [K]_\lambda C$, if $a$ is regarded as an element of $C$ and $b$ as an element of $K$, the previous binary operation can be represented as a commutator,
since $C$ normalizes $K$.
Given two subsets $X$ and $Y$ of $B$, we define $X \ast Y$ as the subgroup of $(B,+)$ generated by $\{x \ast y \, | \, x \in X, y\in Y\}$. Again, in $G_B = [K]_\lambda C$, if we identify $X$ as a subgroup $E$ of $C$ and $Y$ as a subgroup $H$ of $K$, this subgroup can be regarded as $\langle [a^{-1},b^{-1}]\,|\, a \in E, b\in H\rangle = [E,H] \leq K$.
We say that a non-empty subset $I$ of a skew left brace $B$ is a left ideal, if $(I,+)$ is a subgroup of $(B,+)$ and $B \ast I \subseteq I$, or equivalently $\lambda _b(I) \subseteq I$, for every $b\in B$. We say that a left ideal $I$ is an ideal if $(I,+)$ is a normal subgroup of $(B,+)$ and $Ia = aI$ for all $a \in B$. By [Reference Cedó, Smoktunowicz and Vendramin3, lemma 1.9], a left ideal $I$ is an ideal of $B$ if, and only if, $(I,+)$ is a normal subgroup of $(B,+)$ and $I\ast B \subseteq I$.
Ideals of skew left braces can be considered as true analogues of normal subgroups in groups and ideals in rings.
Proposition 2.2 [Reference Guarnieri and Vendramin10, lemma 2.3]
Let $B$ be a skew left brace and let $I$ be an ideal of $B$. Then,
1. $bI = b+I$, for every $b\in B$.
2. $(I,\cdot )$ is a normal subgroup of $(B,\cdot )$.
3. $I$ is a subbrace of $B$ and $B/I$ is also a skew left brace.
Corollary 2.3 Let $I, J$ be ideals of a skew left brace $B$. Then,
1. $I \cap J$ is an ideal of $B$.
2. $IJ = I+J$ is an ideal of $B$.
Proof. It is clear that only the second statement is in doubt.
By proposition 2.2, we have that $IJ = I+J$. Therefore, $IJ = I+J$ is a normal subgroup of $(B,+)$ and a normal subgroup of $(B,\cdot )$.
Let $b \in B$, $x \in I$ and $y \in J$. Then, $\lambda _b(x+y) = \lambda _b(x) + \lambda _b(y) \in I+J$. Thus, $\lambda _b(I+J) \subseteq I+J$. Consequently, $IJ$ is an ideal of $B$.
Remark 2.4 Let $I$ be an ideal of $B$. Recall that $B/I$ is a skew left brace and therefore, the action $\lambda _{B/I} \colon (B/I, \cdot ) \rightarrow \operatorname {Aut}(B/I,+)$ satisfies that
The next proposition shows the behaviour of left ideals and ideals under the star product.
Proposition 2.5 [Reference Ballester-Bolinches and Esteban-Romero1, lemma 4.3]
Let $B$ be a skew left brace. Suppose that $L$ is a left ideal of $B$ and $I$ is an ideal of $B$. Then, $I \ast L$ is a left ideal of $B$. Moreover, $I \ast B$ is an ideal of $B$.
Definition 2.6 Let $I$ be an ideal of a skew left brace $B$.
1. $I$ is called a minimal ideal of $B$ if $I \neq 1$ and $1$ and $I$ are just the ideals of $B$ contained in $I$.
2. $I$ is called a maximal ideal of $B$ if $I$ is the only proper ideal of $B$ containing $I$.
Note that every finite skew left brace has minimal (respectively maximal) ideals. However, not every brace has minimal (respectively maximal) ideals. Therefore, the following finiteness conditions introduced in [Reference Jespers, Kubat, Van Antwerpen and Vendramin11] for skew left braces are interesting.
Definition 2.7 A skew left brace $B$ is artinian (respectively noetherian) if every non-empty set of ideals of $B$ has a minimal (respectively maximal) element with respect to the inclusion.
It is clear that a skew left brace $B$ is artinian (respectively noetherian) if, and only if, every descending (respectively ascending) chain of ideals of $B$ is eventually stationary. In addition, every non-trivial ideal of an artinian skew left brace contains a minimal ideal, and every proper ideal of a noetherian skew left brace is contained in a maximal ideal. It is also rather clear that every skew left brace $B$ is noetherian if, and only if, each ideal of $B$ is finitely generated as an ideal, i.e., each ideal has a finite weight in the sense of [Reference Jespers, Kubat, Van Antwerpen and Vendramin11, definition 4.1].
A skew left brace $B$ is called simple if $B \neq 1$ and $B$ has not proper ideals. Note that if $B$ is simple, then $B$ is the only minimal ideal of $B$ and $1$ is the only maximal ideal of $B$.
The following brace-theoretic radical is introduced and studied in [Reference Jespers, Kubat, Van Antwerpen and Vendramin11].
Definition 2.8 [Reference Jespers, Kubat, Van Antwerpen and Vendramin11, definition 3.1]
The radical $\operatorname {Rad}(B)$ of a skew left brace $B$ is the intersection of all maximal ideals of $B$, if such exists, and $B$ otherwise.
Note that $\operatorname {Rad}(B)$ is an ideal of $B$. Furthermore, $\operatorname {Rad}(B)J/J$ is contained in $\operatorname {Rad}(B/J)$ for all ideals $J$ of $B$ and $\operatorname {Rad}(B)/J = \operatorname {Rad}(B/J)$ if $J \subseteq \operatorname {Rad}(B)$.
Note that if $B$ is a noetherian skew left brace, then $\operatorname {Rad}(B)$ is a proper ideal of $B$ if $B \neq 1$.
The radical of a skew left brace is the brace-theoretic version of the Jacobson and Brown–McCoy radicals in ring theory and the Baer and Frattini subgroups in group theory.
In [Reference Jespers, Kubat, Van Antwerpen and Vendramin11] a brace-theoretic analogue of the celebrated Artin–Weddeburn decomposition theorem for semisimple rings is proved: if $B$ is an artinian skew left brace and $\operatorname {Rad}(B) \neq B$, then $B/\operatorname {Rad}(B)$ is isomorphic to a direct product of finitely many simple skew left braces. The radical of a skew left brace is also used there to show a brace-theoretic version of a well-known theorem of Gaschütz in group theory.
We end the section by presenting two left ideals closely related to nilpotency of skew left braces (see [Reference Cedó, Smoktunowicz and Vendramin3]). For a skew left brace $B$, we can consider the set of fixed elements of $B$ by the action $\lambda$,
which turns out to be a left ideal, and the so-called socle of $B$,
It is well-known that $\operatorname {Soc}(B)$ is an ideal of $B$ (see [Reference Guarnieri and Vendramin10, lemma 2.5], for example). We provide an alternative simpler proof.
Proposition 2.9 $\operatorname {Soc}(B)$ is an ideal of $B$.
Proof. By lemma 2.1, we have that $\operatorname {Ker}\lambda$ is a subgroup of $(B,+)$ and then $\operatorname {Soc}(B) = \operatorname {Ker}\lambda \cap \operatorname {Z}(B,+)$ is a normal subgroup of $(B,+)$.
Since $\operatorname {Z}(B,+)$ is a characteristic subgroup of $(B,+)$, it is clear that $\lambda _b(\operatorname {Soc}(B)) \subseteq \operatorname {Z}(B,+)$, for every $b\in B$. Therefore, for every $a \in \operatorname {Soc}(B)$ and $b\in B$
Thus, $\lambda _b(a) \in \operatorname {Ker} \lambda$, as $\operatorname {Ker} \lambda$ is normal in $(B,\cdot )$.
Hence, $\operatorname {Soc}(B)$ is a left ideal of $B$ and, by definition, $\operatorname {Soc}(B) \ast B = 1 \subseteq \operatorname {Soc}(B)$. Therefore, $\operatorname {Soc}(B)$ is an ideal of $B$.
3. Finiteness properties of skew left braces: a Jordan–Hölder theorem
A possible approach to left and right nilpotency of skew left braces is through series of ideals. In this section we study the finiteness property of finite chief length by proving a Jordan–Hölder theorem for chief series of a skew left brace. It allows us to give some connections between finite chief length and artinian and noetherian properties.
Throughout the section, $B$ will denote a skew left brace.
Definition 3.1 Let $I$ and $J$ be two ideals of $B$ such that $J\subseteq I$. We say that the section $I/J$ is:
• a chief factor of $B$, if $I/J$ is a minimal ideal of $B/J$;
• an $s$-factor of $B$, if $I/J \subseteq \operatorname {Soc}(B/J)$;
• an $f$-factor of $B$, if $I/J \subseteq \operatorname {Fix}(B/J)$.
• an $r$-factor of $B$, if $I/J \subseteq \operatorname {Rad}(B/J)$.
If $\tau \in \{s, f, r\}$, we say that $I/J$ is a $\tau$-chief factor of $B$ if $I/J$ is a chief factor of $B$ which is a $\tau$-factor.
Definition 3.2 Let
be an ideal series of $B$. We say that $\mathcal {I}$ is
• a chief series of $B$, if $I_{i}/I_{i-1}$ is a minimal ideal of $B/I_{i-1}$;
• an $s$-series of $B$, if $I_{i}/I_{i-1} \subseteq \operatorname {Soc}(B/I_{i-1})$;
• an $f$-series of $B$, if $I_{i}/I_{i-1} \subseteq \operatorname {Fix}(B/I_{i-1})$,
for every $1\leq i \leq n$.
Lemma 3.3 Let $I,J$ be ideals of $B$ such that $J \subseteq I$. The following statements hold:
1. $I/J$ is an $f$-factor if, and only if, $B \ast I \subseteq J$.
2. $I/J$ is an $s$-factor if, and only if, $I \ast B \subseteq J$ and $[I,B]_+ \subseteq J$.
Proof. Let $x\in I$. Then,
Then, $I/J$ is an $f$-factor of $B$ if, and only if, $b \ast x \in J$, for every $b\in B$ and every $x \in I$, and the first statement holds.
Let $x\in I$. Then, $xJ \in \operatorname {Soc}(B/J)$ implies that $xJ \ast bJ = J$, for every $b\in B$. Thus, if $I/J$ is an $s$-factor, it follows that $I \ast B \subseteq J$. Moreover, since $I/J \subseteq Z(B/J,+)$, we have that $[I,B]_+ \subseteq J$.
Conversely, suppose that $I \ast B \subseteq J$ and $[I,B]_+ \subseteq J$. Given $x \in I$ and $b\in B$, it follows that $x \ast b = \lambda _x(b) - b \in J$, i.e. $\lambda _x(b)J = bJ$. Moreover, $(x+b)J = (b+x)J$. Thus, $I/J \subseteq \operatorname {Soc}(B/J)$.
The next example shows the commutator condition is essential to characterize $s$-factors.
Example 3.4 Suppose that $(B,+, \cdot )$ is a trivial skew left brace, i.e. a skew left brace where the two group structures coincide, $(B,+) = (B, \cdot )$. Let $(B,\cdot )$ be a group with trivial centre. Then, $\operatorname {Soc}(B) = 1$ and $\operatorname {Ker} \lambda = B$. Thus, for every non-trivial normal subgroup $1\neq N \unlhd B$, $N$ is an ideal such that $N \ast B = 1$, but $N \nsubseteq \operatorname {Soc}(B)$.
Lemma 3.5 Let $I$ and $J$ be ideals of $B$ and set $L = IJ$. Then,
(i) $I/(I \cap J) \subseteq \operatorname {Soc}(B/(I \cap J))$ ($I/(I\cap J)\subseteq \operatorname {Fix}(B/(I \cap J))$) if, and only if, $L/J \subseteq \operatorname {Soc}(B/J)$ ($L/J\subseteq \operatorname {Fix}(B/J)$).
(ii) $J/(I \cap J) \subseteq \operatorname {Soc}(B/(I \cap J))$ ($J /(I\cap J) \subseteq \operatorname {Fix}(B/(I \cap J))$) if, and only if, $L/I \subseteq \operatorname {Soc}(B/I)$ ($L/I \subseteq \operatorname {Fix}(B/I)$).
Proof. We only prove (3.5) as (3.5) is analogous. We can assume without loss of generality that $I \cap J = 1$.
Suppose that $I \subseteq \operatorname {Soc}(B)$. Let $zJ \in L/J$ and $bJ \in B/J$. Then, $zJ = xJ$ for some element $x \in I$. Since $\lambda _x(b)= b$ and $x + b = b+ x$, it follows that $\lambda _{zJ}(bJ) = \lambda _{xJ}(bJ) = \lambda _x(b)J= bJ$ and $zJ + bJ = (x+b)J = (b + x)J = bJ + zJ$. Consequently, $L/J \subseteq \operatorname {Soc}(B/J)$.
Conversely, suppose that $L/J \subseteq \operatorname {Soc}(B/J)$. We shall prove that $I \subseteq \operatorname {Soc}(B)$. Let $x \in I$ and $y \in B$. Since $L/J \subseteq \operatorname {Soc}(B/J)$, then $\lambda _{xJ}(yJ) = \lambda _x(y)J = yJ$. By proposition 2.2, $\lambda _x(y)J = \lambda _x(y) + J = y + J = yJ$. Thus, $\lambda _x(y) - y = x\ast y \in J \cap I = 1$. Therefore, $\lambda _x(y) = y$.
Furthermore, $(x+y) + J = (y+x) + J$. Note that $I$ is a normal subgroup of $(B, +)$. Hence, $y -x +y \in I$ so that $x+y -x -y \in I \cap J = 1$ and $x+y = y+x$. Therefore, $I \subseteq \operatorname {Soc}(B)$.
Suppose that $I\subseteq \operatorname {Fix}(B)$. Let $aJ \in B/J$ and $bJ\in B/J$. Then, $\lambda _{bJ}(aJ) = \lambda _b(a)J = aJ$. This yields $L/J \subseteq \operatorname {Fix}(B/J)$. Conversely, if $L/J \in \operatorname {Fix}(B/J)$, then for every $a \in I$ and $b \in B$, $aJ = \lambda _{bJ}(aJ) = \lambda _b(a)J$. By proposition 2.2, $a +J = \lambda _b(a) + J$. Thus, $\lambda _b(a) - a = b\ast a \in J \cap I = 1$. Therefore, $\lambda _b(a) = a$ and so $I\subseteq \operatorname {Fix}(B)$.
The following result is quite useful for constructing new chief series from old ones.
Lemma 3.6 Suppose that $U$ and $V$ are ideals of $B$ such that $U \subseteq V$ and $U/V$ is a chief factor of $B$. Let $I$ be a ideal of $B$. Then, either $UI \neq VI$ or $U \cap I \neq V \cap I$. Furthermore,
1. If $UI \neq VI$, then $UI/VI$ is a chief factor of $B$ isomorphic to $U/V$.
2. If $U \cap I \neq V \cap I$, then $(U \cap I) /(V \cap I)$ is a chief factor of $B$ isomorphic to $U/V$.
Proof. Note that $UI$ and $VI$ are ideals of $B$ by corollary 2.3. The isomorphism theorem implies that
Since $U\cap VI$ is an ideal of $B$ by corollary 2.3, $V\subseteq U\cap VI\subseteq U$ and $U/V$ is simple, it follows that either $V=U\cap VI$ or $U=U\cap VI$. If $V=U\cap VI$, then $U\ne U\cap VI$. Hence, $UI\ne VI$ and $UI/VI$ is a chief factor of $B$ isomorphic to $U/V$. If $U=U\cap VI$, then $U=V(U\cap I)$ and, by the isomorphism theorem, we have
Consequently, $U\cap I\ne V\cap I$ and $(U\cap I)/(V\cap I)$ is a chief factor of $B$ isomorphic to $U/V$.
Proposition 3.7 Assume that $B$ has a chief series and let $I$ be an ideal of $B$. Then, $I$ has a chief series, $I$ is a member of a chief series of $B$ and $B/I$ has a chief series.
Proof. Let $1=J_0\subseteq J_1\subseteq \dots \subseteq J_n=B$ be the given chief series of $B$ and write $U_i=J_i\cap I$, so that $1=U_0\subseteq U_1\subseteq \dots \subseteq U_n=I$ is a series of ideals of $B$. By lemma 3.6, each of the factors $U_i/U_{i-1}$ is either trivial or a chief factor of $B$. It follows that if we delete $U_i$ from the above series whenever $U_i=U_{i-1}$, what remains is part of a chief series of $B$. In particular, it is a chief series of $I$.
For the second statement, we denote $V_i=J_iI$ for $0\le i\le n$. Then, $I=V_0\le V_1\subseteq \dots \subseteq V_n=B$ is a series of ideals of $B$. By lemma 3.6, either $V_i=V_{i-1}$ or $V_i/V_{i-1}$ is a chief factor of $B$. It follows that by deleting $V_i$ if $V_i=V_{i-1}$ we obtain part of a chief series of $B$.
It is clear that $1=U_0\subseteq \dots \subseteq U_n=I=V_0\subseteq \dots \subseteq V_n=B$ is a chief series of $B$ passing through $I$. Furthermore, $I = V_0/I \subseteq \dots \subseteq V_n/I=B/I$ is a chief series of $B/I$ because, by the isomorphism theorem,
□
Lemma 3.8 Let $I$ and $J$ be ideals of a finite skew left brace, with $J \subseteq I$. If $I/J \subseteq \operatorname {Rad}(B/J)$, then $I \subseteq \operatorname {Rad}(B)J$.
Proof. We use induction on the order of $B$. If $J = 1$, the result is obviously true. Hence, we suppose $J\neq 1$ and let $L$ be a minimal ideal of $B$ contained in $J$. Since the hypothesis carry over to $B/L$, we conclude by induction that $I/L \subseteq \operatorname {Rad}(B/L)J/L$.
If $L \subseteq \operatorname {Rad}(B)$ then $\operatorname {Rad}(B/L) = \operatorname {Rad}(B)/L$ and thus, $I \subseteq \operatorname {Rad}(B)J$, as desired.
Therefore, suppose that $L$ is not contained in $\operatorname {Rad}(B)$. Let $M$ be a maximal ideal of $B$ such that $L \nsubseteq M$. Then, $B = L+M = LM$ and $L\cap M = 1$. Hence, $I = L(I\cap M)$.
The isomorphism $x \mapsto xL$ from $M$ onto $B/L$ yields $\operatorname {Rad}(M)L/L = \operatorname {Rad}(B/L)$ and therefore, $I \subseteq \operatorname {Rad}(M)LJ = \operatorname {Rad}(M)J$. By [Reference Jespers, Kubat, Van Antwerpen and Vendramin11, proposition 3.9], $\operatorname {Rad}(M) \subseteq \operatorname {Rad}(B)$. Consequently, we obtain $I \subseteq \operatorname {Rad}(B)J$.
Lemma 3.9 Let $I$ and $J$ be distinct minimal ideals of a finite skew left brace $B$. Then, there exists a bijection
such that, corresponding chief factors are isomorphic and $r$-chief factors correspond to one another.
Proof. Put $L = IJ$, and assume that $I \subseteq \operatorname {Rad}(B)$. Then, $L/J \subseteq \operatorname {Rad}(B)J/J \subseteq \operatorname {Rad}(B/J)$.
If $L/I\subseteq \operatorname {Rad}(B/I)$ then $L \subseteq \operatorname {Rad}(B)$, because $\operatorname {Rad}(B/I) = \operatorname {Rad}(B)/I$. In this case, the map $f(I) = L/J$ and $f(L/I) = J$ satisfies the requirements. If $L/I\nsubseteq \operatorname {Rad}(B/I) = \operatorname {Rad}(B)/I$, then $J$ is not an $r$-chief factor of $B$ and the same choice of $f$ will suffice. It only remains to consider the case where $I\cap \operatorname {Rad}(B) = J \cap \operatorname {Rad}(B) = 1$ and $L/J \subseteq \operatorname {Rad}(B/J)$.
Let $M$ be a maximal ideal of $B$ such that $B = I+M = IM$ and $I \cap M = 1$. Write $K = L \cap M$. Then, $K$ is an ideal of $B$ and $KI = L$. Hence, $K \cong L/I\cong J$.
If $K = J$, then $L \subseteq M$, which is a contradiction to the fact $I \cap M = 1$. Therefore, $K \neq J$, $L = KJ$ and $I \cong K \cong J$. By lemma 3.8, $L \subseteq \operatorname {Rad}(B)J$. Hence, $L = J(L \cap \operatorname {Rad}(B))$.
Note that $J \cap (L\cap \operatorname {Rad}(B)) = 1$ and $L \cap \operatorname {Rad}(B)\subseteq K$. Thus, $K = L \cap \operatorname {Rad}(B)$ and $K$ is an $r$-chief factor of $B$ which is isomorphic to $L/J$. Since $L/I = KI/I \subseteq \operatorname {Rad}(B)I/I = \operatorname {Rad}(B)/I$, it follows that $f(I) = J$ and $f(L/I) = L/J$ satisfies the requirements of the lemma.
Theorem 3.10 Assume that $B$ has chief series. Then, the chief factors in a chief series are unique, namely, if
are two chief series of $B$, then $n=m$ and there is some permutation $\pi$ of $\{1,\ldots, n\}$ such that
Furthermore, $I_i/I_{i-1}$ is an $\tau$-chief factor of $B$ if, and only if, $J_{\pi (i)}/J_{\pi (i)-1}$ is an $\tau$-chief factor of $B$, where $\tau \in \{s, f\}$. If, in addition, $B$ is finite, $r$-chief factors of $\mathcal {I}$ correspond to $r$-chief factors of $\mathcal {J}$.
Proof. We call two chief series $\mathcal {X}$ and $\mathcal {Y}$ of $B$ equivalent if $\mathcal {X}$ and $\mathcal {Y}$ have the same length and isomorphic factors (up to rearrangement) such that the $\tau$-factors of $\mathcal {I}$ correspond to the $\tau$-factors of $\mathcal {J}$. We write in this case $\mathcal {X}\sim \mathcal {Y}$. It is clear that $\sim$ is an equivalence relation on the set of all chief series of $B$.
We use induction on the length $n$ of $\mathcal {I}$ to show that $\mathcal {I} \sim \mathcal {J}$.
Assume that $n=1$. Then, $B$ is simple, and in that case $\mathcal {I} =\mathcal {J}$. Let $n > 1$ and suppose that the theorem is true for all skew left braces with chief series of length $\leq n-1$. Write $I=I_{1}$ and $J=J_{1}$. If $I = J$, we can form the following chief series of $B/I$
Since the length of $\mathcal {I}/I$ is $n-1$, the induction hypothesis applied to $B/I$ yields $\mathcal {I}/I\sim \mathcal {J}/I$. Hence, $\mathcal {I} \sim \mathcal {J}$.
Now assume that $I\ne J$ and set $U=IJ$. By corollary 2.3, $U$ is an ideal of $B$. In this case $U/I$ and $U/J$ are chief factors of $B$ and, by proposition 3.7, there exist chief series $\mathcal {V}_1$ and $\mathcal {V}_2$ of $B$ of the following form:
Since $\mathcal {I}$ and $\mathcal {V}_1$ have the minimal ideal $I$ in common, the induction yields $\mathcal {I} \sim \mathcal {V}_1$. Similarly, $\mathcal {J} \sim \mathcal {V}_2$. Furthermore, as the chief series $\mathcal {V}_1$ and $\mathcal {V}_2$ coincide above $U$ and $I \cap J = 1$, we can apply lemma 3.5 to conclude that $\mathcal {V}_1 \sim \mathcal {V}_2$. Consequently, $\mathcal {I} \sim \mathcal {J}$.
Assume now that $B$ is finite. Then, arguing as above, it follows that the bijection stated in the theorem also respects $r$-chief factors by lemma 3.9.
If $B$ is a skew left brace that has a chief series $1=I_0\subseteq I_1\subseteq \dots \subseteq I_n=B$, we say that $B$ has a finite chief length and we write $\operatorname {fcl} (B) = n$. We suppose that $\operatorname {fcl} (B) = 0$ if $B = 1$. Note that by Theorem 3.10, the chief length of $B$ is uniquely determined. If $B$ has no chief series, we say that it has infinite chief length. The chief length of a skew left brace provides a handle we can use to prove interesting results for finite chief length skew left braces, even if the skew left brace happens to be infinite.
Applying proposition 3.7, every ideal $I$ of a skew left brace $B$ of finite chief length is part of a chief series of $B$ and we can get a chief series of the quotient brace $B/I$ just considering the ideals of that series lying above $I$. Therefore, we have
Proposition 3.11 Let $B$ a skew left brace of finite chief length and suppose that $I$ is an ideal of $B$. If $I > 1$, then $\operatorname {fcl} (B/I) < \operatorname {fcl} (B)$.
The finite chief length is a finiteness condition that can be viewed as decomposing into the artinian and noetherian conditions. This is the content of our next result.
Theorem 3.12 A skew left brace $B$ has finite chief length if, and only if, $B$ is artinian and noetherian.
Proof. Assume that $B \neq 1$ has finite chief length. Let $I_1\subseteq I_2 \dots$ be any ascending chain of ideals of $B$. We may assume that $I = I_1 \neq 1$. Then, $I_1/I\subseteq I_2/I \dots$ is an ascending chain of ideals of $B/I$. By proposition 3.11, $\operatorname {fcl} (B/I) < \operatorname {fcl} (B)$. If we argue by induction on the chief length of $G$, we have that $I_n = I_{n +1} = \dots$, and hence $B$ is noetherian. Assume that $I_1\supseteq I_2 \dots$ is any descending chain of ideals of $B$. Let $L$ be a minimal ideal of $B$. If $L$ is contained in $I_k$ for all $k \geq 1$, then we can argue as above. Otherwise, there exists a $t \geq 1$ such that $I_t \cap L = 1$. Since $(I_1 +L)/L \supseteq (I_2 +L)/L \dots$ is a descending chain of ideals of $B/L$, we can apply induction to conclude that $I_m + L = I_{m +e} + L$ for some $m \geq t$ and all $e \geq 0$. Since $I_m \cap I = I_{m +e} \cap I = 0$, we conclude that $I_m = I_{m +e}$ for all $e \geq 0$, and $B$ is artinian.
Now assume that $B$ is artinian and noetherian but $B$ has no finite length. Apply the noetherian condition to the set $\mathcal {T}$ of proper ideals $I$ of $B$ that have a chain of ideals of $B$: $1 = I_0\subseteq I_1 \cdots \subseteq I_n = I$ such that $I_t/I_{t-1}$ is a chief factor of $B$ for all $1 \leq t \leq n$ (note that $B \neq 1$), and select a maximal member $A$. Since $B$ has no finite length, $A$ is proper in $B$. Apply now the artinian condition to the set of all ideals of $B$ that properly contain $A$ and select a minimal element $C \leq B$. It is clear that $C/A$ is a chief factor of $B$, and so we can append $C$ to the end of part of a chief series of $B$: $1 = V_0\subseteq V_1 \cdots \subseteq V_n =A$ to conclude that $C \in \mathcal {T}$. This contradicts the maximality of $A$ in $\mathcal {T}$.
4. Applications of the Jordan–Hölder theorem to nilpotency of skew left braces
As in the case of groups, nilpotency on skew left braces can be defined in terms of iterated series. Let $X, Y$ be subsets of a skew left brace $B$. We define
Lemma 4.1 If $X_1 \subseteq X_2$ and $Y_1 \subseteq Y_2$, then $L_n(X_1,Y_1) \subseteq L_n(X_2, Y_2)$ and $R_n(X_1,Y_1) \subseteq R_n(X_2, Y_2)$, for every $n\in \mathbb {N}$.
Proof. It is straightforward from the above definition.
Following [Reference Rump14], for the case $X = Y = B$, we denote $B^n:= L_n(B,B)$ and $B^{(n)} := R_n(B,B)$. Proposition 2.5 yields that $B^i$ and $B^{(i)}$ are, respectively, a left ideal and an ideal of $B$. The descendent series $\{B^n\}_{n\in \mathbb {N}}$ and $\{B^{(n)}\}_{n\in \mathbb {N}}$ are called, respectively, the left and right series of $B$.
Definition 4.2 $B$ is said to be left (right) nilpotent, if the left (right) series reaches the trivial subbrace $1$. Moreover, we say that $B$ has left (right) nilpotent of class $m$, if $m$ is the smallest natural such that $B^m= 1$ ($B^{(m)} = 1$).
Remark 4.3 In [Reference Cedó, Smoktunowicz and Vendramin3] it is proved that left (right) nilpotency is closed under taking quotients, subbraces and finite direct products.
Definition 4.4 We call a sequence of left ideals $1 = L_0 \subseteq L_1 \subseteq \ldots \subseteq L_n = B$ an $f$-series of left ideals if, $B \ast L_{i} \subseteq L_{i-1}$, for all $1 \leq i \leq n$.
It is proved in [Reference Cedó, Smoktunowicz and Vendramin3, proposition 2.26] that every non-zero ideal of a left nilpotent skew left brace $B$ has non-zero intersection with $\operatorname {Fix}(B)$. This result is a direct consequence of the following characterization of left nilpotency.
Proposition 4.5 $B$ is left nilpotent if, and only if, it admits an $f$-series of left ideals.
Proof. If $B$ is left nilpotent, then left series of $B$ clearly is an $f$-series of left ideals.
Conversely, suppose that $B$ admits an $f$-series of left ideals
We shall prove by induction that $B^{i} \subseteq L_{n-i+1}$, for every $1 \leq i \leq n+1$. It is clear that $B^1 = B = L_n$. Suppose that $B^{i}\subseteq L_{n-i+1}$, for some $1\leq i < n+1$. Then, by definition of $f$-series of left ideals
Hence, $B^{n+1} = 1$ and then, $B$ is left nilpotent.
On the other hand, in [Reference Cedó, Smoktunowicz and Vendramin3] it is proved that skew left braces of nilpotent type are right nilpotent if, and only if, they admit an $s$-series. Theorem 3.10 allows us to improve this result giving a characterization of the right nilpotency of a skew left brace $B$ with chief series. In this case, the right nilpotency class of $B$ is bounded by its chief length.
Theorem 4.6 Assume that $B$ is a skew left brace with chief series. Then, every chief factor of $B$ is an $s$-factor if, and only if, $B$ is of nilpotent type and right nilpotent. In this case, $\operatorname {nil\,class}_r(B) \leq \operatorname {fcl} (B)$.
Proof. Suppose that every chief factor of $B$ is an $s$-factor. Let
be a chief series of $B$, $n = \operatorname {fcl} (B)$. Then,
for every $1 \leq i \leq n$. Therefore, $B$ is of nilpotent type. Moreover, we shall see by induction that $B^{(i)} \subseteq I_{n-i+1}$, for every $1 \leq i \leq n+1$. The case $i = 1$ is obvious; suppose that $B^{(i)}\subseteq I_{n-i+1}$, for some $1 \leq i < n$. Since $I_{n-i+1}/I_{n-i} \subseteq \operatorname {Soc}(B/I_{n-i})$ we can apply Lemma 3.3 to conclude that $B^{(i+1)} = B^{(i)}\ast B \subseteq I_{n-i+1}\ast B \subseteq I_{n-i}$. Hence, $B^{(n)} = 1$ and, therefore, $B$ is right nilpotent. Furthermore, $\operatorname {nil\,class}_r(B) \leq n$.
Conversely, suppose that $B$ is of nilpotent type and right nilpotent. Assume that there exists a chief factor $I/J$ of $B$ such that $I/J \nsubseteq \operatorname {Soc}(B/J)$. Since $I/J$ is a minimal ideal of $B/J$ and $\operatorname {Soc}(B/J)$ is an ideal of $B/J$, it follows that $I/J \cap \operatorname {Soc}(B/J) = 1$. Furthermore, as $(B/J,+)$ is nilpotent, there exists $1\neq b \in I/J \cap Z(B/J,+)$.
By the minimality of $I/J$, we have that either $I/J \ast B/J = 1$ or $I/J \ast B/J = I/J$. Assume that $I/J \ast B/J = I/J$. Then, $R_t(I/J,B/J) = I/J \subseteq R_t(B/J,B/J) = (B/J)^{(t)}$ for every $t\in \mathbb {N}$ by lemma 4.1. But $B/J$ is also right nilpotent and so $(B/J)^{(m)} = 1$ for some $m \in \mathbb {N}$. In particular, $I/J = 1$. This contradiction yields $I/J \ast B/J = 1$. Then, $1 \neq b\in I/J\cap \operatorname {Soc}(B/J)$, which is a contradiction. Consequently, $I/J \subseteq \operatorname {Soc}(B/J)$.
The following results in [Reference Cedó, Smoktunowicz and Vendramin3] for skew left braces with chief series are consequences of theorem 4.6.
Corollary 4.7 Let $B$ a skew left brace with chief series. then,
1. [Reference Cedó, Smoktunowicz and Vendramin3, theorem 2.8] Suppose that $B$ is right nilpotent of nilpotent type and let $I$ be a non-trivial ideal. Then, $I \cap \operatorname {Soc}(B) \neq 1$. In particular, $\operatorname {Soc}(B) \neq 1$.
2. [Reference Cedó, Smoktunowicz and Vendramin3, corollary 2.10] Suppose that $B$ is right nilpotent of nilpotent type and let $I$ be a minimal ideal of $B$. Then, $I \subseteq \operatorname {Soc}(B)$.
3. [Reference Cedó, Smoktunowicz and Vendramin3, proposition 2.17] If $B/\operatorname {Soc}(B)$ is right nilpotent, then $B$ is right nilpotent.
5. Application of the Jordan–Hölder theorem to multipermutation solutions of the Yang–Baxter equation
The main result of this section is a characterization of multipermutation solutions by means of the chief factors of a skew left brace.
Let $(X,r)$ be a non-degenerate solution of the Yang–Baxter equation, non-degenerate solution of the YBE for short, given by $r(x,y) = (\sigma _x(y), \tau _y(x))$, for all $x,y\in X$. Following [Reference Lebed and Vendramin12], we can consider the so-called retraction relation $\sim$ on $X$, defined by $x\sim y$ if $\sigma _x = \sigma _y$ and $\tau _x = \tau _y$.
If $[x]$ denotes the $\sim$-class of $x\in X$, then a natural induced solution $\operatorname {Ret}(X,r) = (X/\sim,\bar {r})$ called the retraction of $(X,r)$ arises, where $\bar {r}$ is defined by
We can iterate this process and define inductively
A solution $(X,r)$ is said to be a multipermutation solution of level $m$, if $m$ is the smallest natural such that $\operatorname {Ret}^m(X,r)$ has cardinality 1.
If $B$ is a skew left brace, let $r_B \colon B\times B \rightarrow B \times B$ be the map given by
where $\rho \colon (B, \cdot ) \rightarrow \text {Sym}(B)$ is defined by $b\mapsto \rho _b$, with $\rho _b(a) = (a^{-1}+b)^{-1}b$, for every $a\in B$. Then, $\rho$ is an anti-homomorphism and $r_B$ is a bijective non-degenerate solution of the YBE called the solution associated with $B$.
Let $B$ be a skew left brace; then, we define inductively the ascending series: $\operatorname {Soc}_1(B) = \operatorname {Soc}(B)$ and for every $n \geq 1$, let $\operatorname {Soc}_{n+1}(B)$ be the ideal of $B$ such that
Then, following [Reference Cedó, Smoktunowicz and Vendramin3], $B$ is said to have finite multipermutational level $m$, if $m$ is the smallest natural such that the ascending sequence $\{\operatorname {Soc}_n(B)\}_{n\in \mathbb {N}}$ reaches $B$.
Recall that multipermutation solutions were first studied for involutive non-degenerate solutions of the YBE which have associated skew left braces of abelian type. The first result which relates multipermutation solutions and the socle series of skew left braces of abelian type is due to Rump.
Recall that if $(X, r)$ and $(Y, s)$ are two set-theoretic solutions of the YBE, a map $f \colon (X, r) \rightarrow (Y, s)$ is an isomorphism if $f$ is bijective and $(f \times f) \circ r = s \circ (f \times f)$. In this case, we say that $(X, r)$ and $(Y, s)$ are isomorphic.
Proposition 5.1 [Reference Rump14, proposition 7]
Let $B$ be a skew left brace of abelian type and let $(B,r_B)$ be the involutive non-degenerate solution of the YBE associated with $B$. Then, $(B/ Soc_n(B), r_n)$ is isomorphic to the nth-retraction $\operatorname {Ret}^n(B,r_B)$, for every $n\geq 1$.
In [Reference Gateva-Ivanova8] multipermutation solutions associated to skew left braces of abelian type are characterized by means of right nilpotency.
Theorem 5.2 [Reference Gateva-Ivanova8, theorem 4.21]
Let $B$ be a skew left brace of abelian type and let $(B,r_B)$ be the involutive non-degenerate solution of the YBE associated with $B$. Then, $(B,r_B)$ is a multipermutation solution of level $m$ if, and only if, $B$ is right nilpotent of nilpotent class $m+1$.
Our first result in this section generalizes proposition 5.1 to the general universe of all skew left braces.
Proposition 5.3 Let $B$ be a skew left brace and let $(B, r_B)$ be the solution of the YBE associated with $B$. Then, $(B/ \operatorname {Soc}_n(B), r_n)$ is isomorphic to the nth-retraction $\operatorname {Ret}^n(B,r_B)$, for every $n\geq 1$. As a consequence, $(B,r_B)$ is a multipermutation solution of level $m$ if, and only if, $B$ has finite multipermutational level $m$.
Proof. We argue by induction on $n$. Assume that $n = 1$. We prove
If $b\in \operatorname {Soc}(B)$ then $b \in \operatorname {Ker} \lambda$ and so $\lambda _b = \operatorname {id}_B$. Moreover, $b\in Z(B,+)$ and then, $\rho _b(a) = (a^{-1} + b)^{-1}b = (b+a^{-1})^{-1}b= (ba^{-1})^{-1} b = a$, for every $a\in B$. Thus, $\rho _b = \operatorname {id}_B$.
Conversely, suppose that $\lambda _b = \rho _b = \operatorname {id}_B$, for some $b\in B$. It remains to prove that $b \in Z(B,+)$. For every $a\in B$, it holds
as desired.
Then, for the retraction relation on the solution $r_B$, it occurs that $a \sim b$ if, and only if, $ab^{-1}\in \operatorname {Soc}(B)$, for every $a,b\in B$. Therefore, the map $\varphi \colon B/\!\sim \ \rightarrow B/\operatorname {Soc}(B)$, defined as $\varphi ([b]) = b\operatorname {Soc}(B)$, turns out to be an isomorphism between the solutions $\operatorname {Ret}(B,r_B)$ and $(B/\operatorname {Soc}(B), r_{B/\operatorname {Soc}(B)})$, as $([\lambda _a(b)], [\rho _b(a)]) = (\lambda _a(b)\operatorname {Soc}(B), \rho _b(a)\operatorname {Soc}(B))$, for every $a,b\in B$.
Now, suppose that $\operatorname {Ret}^n(B,r_B)$ is isomorphic to the solution associated with $B/\operatorname {Soc}_n(B)$, for some $n\geq 1$. Recall that
A similar argument to the case $n = 1$ shows that the solutions $\operatorname {Ret}^{n+1}(B,r_B)$ and $B/\operatorname {Soc}_{n+1}(B)$ are isomorphic.
In [Reference Cedó, Smoktunowicz and Vendramin3], finite multipermutational level of a skew left brace is characterized in terms of nilpotency.
Theorem 5.4 [Reference Cedó, Smoktunowicz and Vendramin3, theorem 2.20]
Let $B$ be a skew left brace. Then, $B$ has finite multipermutation level if, and only if, $B$ is of nilpotent type and right nilpotent.
The study of the decomposition into chief factors of a skew left brace allows us to complete this theorem. The following result shows that the multipermutational level is bounded by the chief length of a skew left brace having chief series.
Theorem 5.5 Let $B$ be a skew left brace with chief series. Then, $B$ has finite multipermutational level $m$ if, and only if, every chief factor of $B$ is an $s$-factor. In such case, $m \leq \operatorname {fcl} (B)$.
Proof. Assume that $B$ has finite multipermutational level $m$. We show that every chief factor of $B$ is an $s$-chief factor by induction on $m$. If $m = 1$, then $B = \operatorname {Soc}(B)$ and the result follows. Suppose that $m \geq 1$ and the statement holds for every skew left brace with chief series of multipermutational level $m- 1$. f
Note that $\operatorname {Soc}(B)$ is a non-trivial ideal of $B$. By lemma 3.7, $B/\operatorname {Soc}(B)$ has chief series. Furthermore, $B/\operatorname {Soc}(B)$ has finite multipermutational level $m-1$. Thus, by induction hypothesis, every chief factor of $B/\operatorname {Soc}(B)$ is an $s$-factor and $m-1$ is less or equal than the chief length of $B/\operatorname {Soc}(B)$. According to lemma 3.7, there exists a chief series of $B$ passing through $\operatorname {Soc}(B)$. Moreover every chief factor of this series is an $s$-chief factor of $B$. Applying theorem 3.10, it follows that every chief factor of $B$ is an $s$-factor. Furthermore, $m$ is less or equal than the chief length of $B$.
Conversely, suppose that every chief factor of $B$ is an $s$-factor. If $B$ has not finite multipermutational level, then there exists $n_0\in \mathbb {N}$ such that $\operatorname {Soc}_n(B) = \operatorname {Soc}_{n_0}(B) < B$, for every $n \geq n_0$ since $B$ is noetherian by theorem 3.12. Now, we consider a chief series of $B$ passing through $\operatorname {Soc}_{n_0}(B)$,
Since every chief factor is an $s$-factor, it follows that $1 \neq I_{i+1}/I_i \subseteq \operatorname {Soc}(B/I_i) = \operatorname {Soc}(B/\operatorname {Soc}_{n_0}) = \operatorname {Soc}_{n_0+1}(B)/\operatorname {Soc}_{n_0}(B)$. Therefore, $\operatorname {Soc}_{n_0}(B) \lneq \operatorname {Soc}_{n_0+1}(B)$, which is a contradiction.
Corollary 5.6 Let $B$ be a skew left brace with chief series. The following statements are pairwise equivalent:
1. $B$ has finite multipermutational level $m$.
2. $(B,r_B)$ is a multipermutational solution of level $m$.
3. $B$ is of nilpotent type and is right nilpotent.
4. Every chief factor of $B$ is an $s$-factor.
In this case,
• $m \leq \operatorname {fcl} (B)$,
• $\operatorname {nil\,class}_r(B) \leq \operatorname {fcl} (B)$ and
• $\operatorname {nil\,class}_r(B) \leq m+1$.
In particular, if $\operatorname {nil\,class}_r(B) = \operatorname {fcl} (B)$, then $m = \operatorname {nil\,class}_r(B) = \operatorname {fcl} (B)$.
Proof. It remains to prove that if $B$ has finite multipermutational level $m$, then $\operatorname {nil\,class}_r(B) \leq m+1$. We show that $B^{(k)} \subseteq \operatorname {Soc}_{m-k+1}(B)$, for every $1 \leq k \leq m$, by induction on $k$. Clearly $B^{(1)} = B = \operatorname {Soc}_m(B)$. Suppose that $B^{(k)} \subseteq \operatorname {Soc}_{m-k+1}(B)$, for some $1 \leq k < m$. Since
The induction hypothesis and lemma 3.3 yield
as desired.
Then, $B^{(m)} \subseteq \operatorname {Soc}(B)$ and, thus, $B^{(m+1)} = 0$. Hence, $\operatorname {nil\,class}_r(B) \leq m+1$.
The right nilpotency class of a skew left brace of finite multipermutational level $m$ is not $m +1$ in general.
Example 5.7 Let $G$ be a finite group with nilpotency class $m \geq 3$, then the trivial skew left brace $(B,+,\cdot )$, with $(B,+) = (B,\cdot ) = G$, satisfies $\operatorname {nil\,class}_r(B) = 2$, as $B^{(2)} = 1$, but $B$ has multipermutational level $m$, as the socle series of $B$ coincides with the upper central series of $G$.
Acknowledgements
These results are a part of the R+D+i project supported by the Grant PGC2018-095140-B-I00, funded by MCIN/AEI/10.13039/501100011033 and by ‘ERDF A way of making Europe.’