A Jordan–Hölder theorem for skew left braces and their applications to multipermutation solutions of the Yang–Baxter equation

Skew left braces arise naturally from the study of non-degenerate set-theoretic solutions of the Yang–Baxter equation. To understand the algebraic structure of skew left braces, a study of the decomposition into minimal substructures is relevant. We introduce chief series and prove a strengthened form of the Jordan–Hölder theorem for finite skew left braces. A characterization of right nilpotency and an application to multipermutation solutions are also given.


Introduction
The Yang-Baxter equation (YBE, for short), introduced in seminal works of Yang [17] and Baxter [2], 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 [6] 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 : X × X → X × X such that r 12 r 23 r 12 = r 23 r 12 r 23 where the maps r 12 , r 23 : X × X × X → X × X × X are defined as r 12 = r × id X and r 23 = id X ×r.
Solutions satisfying additional conditions were intensively analysed in [7,9,13].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 [14] as a generalization of Jacobson radical rings in the context of involutive (r 2 = id X×X ) non-degenerate solutions.A generalization of this structure, the so-called skew left brace, was introduced by Guarnieri and Vendramin in [10] 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.
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 [7] 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 [11].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 [3] on right nilpotency are improved for skew left braces with chief series.

Preliminaries
A skew left brace (B, +, •) is defined to be a set B endowed with two group structures (B, +) (the additive group) and (B, •) (the multiplicative group) satisfying the following property: (2.1) 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 X be a class of groups.If (B, +) belongs to X, then B is called a skew left brace of X-type.Rump's braces introduced in [14] are, in fact, the skew left braces of abelian type.
A subbrace of (B, +, •) 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 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 •) is a skew left brace, the multiplicative group (B, •) acts on the additive group (B, +) via automorphisms: for every a ∈ B, the map λ a : B → B, given by λ a (b) = −a + ab, is an automorphism of (B, +) and the map λ : (B, •) → Aut(B, +) which sends a → λ a is a group homomorphism (see [10, proposition 1.9]).This group action relates the two operations on a skew left brace.For every a, b ∈ B, it holds ab = a + λ a (b) and a + b = aλ a −1 (b). (2.2) From now on, if (B, +, •) 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 λ, that is, is a normal subgroup of (B, •) and a subgroup of (B, +).
Proof.Only the second part of the statement is in doubt.
Clearly, 1 ∈ Ker λ.Then, for every a, b Following [1], we can construct the semidirect product G B = [K] λ C with respect to the action of C = (B, •) on K = (B, +) by means of λ.We will refer to G B as the semidirect product associated with (B, +, •).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] λ 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, Given two subsets X and Y of B, we define X * Y as the subgroup of (B, +) generated by {x * 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 * I ⊆ I, or equivalently λ b (I) ⊆ I, for every b ∈ 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 ∈ B. By [3, 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 * B ⊆ I.
Ideals of skew left braces can be considered as true analogues of normal subgroups in groups and ideals in rings.

IJ
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, •).
Let b ∈ B, x ∈ I and y ∈ J.Then, 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 [11] 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 [11, definition 4.1].
A skew left brace B is called simple if B = 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 [11].Note that Rad(B) is an ideal of B. Furthermore, Rad(B)J/J is contained in Rad(B/J) for all ideals J of B and Rad(B)/J = Rad(B/J) if J ⊆ Rad(B).
Note that if B is a noetherian skew left brace, then Rad(B) is a proper ideal of 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 [11] 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 Rad(B) = B, then B/ 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 [3]).For a skew left brace B, we can consider the set of fixed elements of B by the action λ, which turns out to be a left ideal, and the so-called socle of B, It is well-known that Soc(B) is an ideal of B (see [10, lemma 2.5], for example).We provide an alternative simpler proof.Proposition 2.9.Soc(B) is an ideal of B.
Proof.By lemma 2.1, we have that Ker λ is a subgroup of (B, +) and then Soc Hence, Soc(B) is a left ideal of B and, by definition, Soc(B) * B = 1 ⊆ Soc(B).Therefore, Soc(B) is an ideal of B.

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 ⊆ I.We say that the section I/J is: be an ideal series of B. We say that I is for every 1 i n.

I/J is an s-factor if, and only if,
Furthermore, (x + y) + J = (y + x) + J.Note that I is a normal subgroup of (B, +).Hence, y − x + y ∈ I so that x + y − x − y ∈ I ∩ J = 1 and x + y = y + x.Therefore, I ⊆ Soc(B).
Suppose that I ⊆ Fix(B).Let aJ ∈ B/J and bJ ∈ B/J.Then, λ bJ (aJ) = λ b (a)J = aJ.This yields L/J ⊆ Fix(B/J).Conversely, if L/J ∈ Fix(B/J), then for every a ∈ I and b ∈ B, aJ 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 Proof.Note that UI and V I are ideals of B by corollary 2.3.The isomorphism theorem implies that and, by the isomorphism theorem, we have 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 ⊆ J 1 ⊆ • • • ⊆ J n = B be the given chief series of B and write For the second statement, we denote V i = J i I for 0 i n.Then, Lemma 3.8.Let I and J be ideals of a finite skew left brace, with J ⊆ I.If I/J ⊆ Rad(B/J), then I ⊆ Rad(B)J.
Proof.We use induction on the order of B. If J = 1, the result is obviously true.Hence, we suppose J = 1 and let L be a minimal ideal of B contained in J.
are two chief series of B, then n = m and there is some permutation π of {1, . . ., n} such that Proof.We call two chief series X and Y of B equivalent if X and Y have the same length and isomorphic factors (up to rearrangement) such that the τ -factors of I correspond to the τ -factors of J .We write in this case X ∼ Y.It is clear that ∼ is an equivalence relation on the set of all chief series of B.
We use induction on the length n of I to show that I ∼ J .Assume that n = 1.Then, B is simple, and in that case I = J .Let n > 1 and suppose that the theorem is true for all skew left braces with chief series of length 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 I/I is n − 1, the induction hypothesis applied to B/I yields I/I ∼ J /I.Hence, I ∼ J .Now assume that I = 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 V 1 and V 2 of B of the following form: Since I and V 1 have the minimal ideal I in common, the induction yields I ∼ V 1 .Similarly, J ∼ V 2 .Furthermore, as the chief series V 1 and V 2 coincide above U and I ∩ J = 1, we can apply lemma 3.5 to conclude that V 1 ∼ V 2 .Consequently, I ∼ 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 ⊆ I 1 ⊆ • • • ⊆ I n = B, we say that B has a finite chief length and we write fcl(B) = n.We suppose that 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 fcl(B/I) < 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 = 1 has finite chief length.Let I 1 ⊆ I 2 . . .be any ascending chain of ideals of We may assume that I = I 1 = 1.Then, I 1 /I ⊆ I 2 /I . . . is an ascending chain of ideals of B/I.By proposition 3.11, fcl(B/I) < fcl(B).If we argue by induction on the chief length of G, we have that I n = I n+1 = . . ., and hence B is noetherian.Assume that I 1 ⊇ I 2 . . . 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 1, then we can argue as above.Otherwise, there exists a t 1 such that I t ∩ L = 1.Since (I 1 + L)/L ⊇ (I 2 + L)/L . . . 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 t and all e 0. Since I m ∩ I = I m+e ∩ I = 0, we conclude that I m = I m+e for all e 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 T of proper ideals I of B that have a chain of ideals of B: is a chief factor of B for all 1 t n (note that B = 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 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:

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 Proof.It is straightforward from the above definition.
Following [14], 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∈N and {B (n) } n∈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 [3] 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 It is proved in [3, proposition 2.26] that every non-zero ideal of a left nilpotent skew left brace B has non-zero intersection with 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 ⊆ L n−i+1 , for every 1 i n + 1.It is clear that B 1 = B = L n .Suppose that B i ⊆ L n−i+1 , for some 1 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 [3] 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, nil class r (B) fcl(B).
Proof.Suppose that every chief factor of B is an s-factor.Let be a chief series of B, n = fcl(B).Then, for every 1 i n.Therefore, B is of nilpotent type.Moreover, we shall see by induction that B (i) ⊆ I n−i+1 , for every 1 i n + 1.The case i = 1 is obvious; suppose that B (i) ⊆ I n−i+1 , for some 1 i < n.Since I n−i+1 /I n−i ⊆ Soc(B/I n−i ) we can apply Lemma 3.3 to conclude that Hence, B (n) = 1 and, therefore, B is right nilpotent.Furthermore, nil class r (B) 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 Soc(B/J).Since I/J is a minimal ideal of B/J and Soc(B/J) is an ideal of B/J, it follows that I/J ∩ Soc(B/J) = 1.Furthermore, as (B/J, +) is nilpotent, there exists 1 = b ∈ I/J ∩ Z(B/J, +).
By the minimality of I/J, we have that either I/J * B/J = 1 or I/J * B/J = I/J.Assume that I/J * B/J = I/J.Then, R t (I/J, B/J) = I/J ⊆ R t (B/J, B/J) = (B/J) (t) for every t ∈ N by lemma 4.1.But B/J is also right nilpotent and so (B/J) (m) = 1 for some m ∈ N. In particular, I/J = 1.This contradiction yields I/J * B/J = 1.Then, 1 = b ∈ I/J ∩ Soc(B/J), which is a contradiction.Consequently, I/J ⊆ Soc(B/J).
The following results in [3] for skew left braces with chief series are consequences of theorem 4.6.3. [3, proposition 2.17] If B/ Soc(B) is right nilpotent, then B is right nilpotent.

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, nondegenerate solution of the YBE for short, given by r(x, y) = (σ x (y), τ y (x)), for all x, y ∈ X.Following [12], we can consider the so-called retraction relation ∼ on X, defined by x ∼ y if σ x = σ y and τ x = τ y .
If [x] denotes the ∼-class of x ∈ X, then a natural induced solution Ret(X, r) = (X/ ∼, r) called the retraction of (X, r) arises, where r is defined by r We can iterate this process and define inductively Ret 1 (X, r) = Ret(X, r), Ret n+1 (X, r) = Ret(Ret n (X, r)), for all n 1.
A solution (X, r) is said to be a multipermutation solution of level m, if m is the smallest natural such that Ret m (X, r) has cardinality 1.Let B be a skew left brace; then, we define inductively the ascending series: Soc 1 (B) = Soc(B) and for every n 1, let Soc n+1 (B) be the ideal of B such that Then, following [3], B is said to have finite multipermutational level m, if m is the smallest natural such that the ascending sequence {Soc n (B)} n∈N reaches B.
Recall that multipermutation solutions were first studied for involutive nondegenerate 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 In this case, we say that (X, r) and (Y, s) are isomorphic.In [8] multipermutation solutions associated to skew left braces of abelian type are characterized by means of right nilpotency.A similar argument to the case n = 1 shows that the solutions Ret n+1 (B, r B ) and B/ Soc n+1 (B) are isomorphic.
In [3], finite multipermutational level of a skew left brace is characterized in terms of nilpotency.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 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 = Soc(B) and the result follows.Suppose that m 1 and the statement holds for every skew left brace with chief series of multipermutational level m − 1. f Note that Soc(B) is a non-trivial ideal of B. By lemma 3.7, B/ Soc(B) has chief series.Furthermore, B/ Soc(B) has finite multipermutational level m − 1.Thus, by induction hypothesis, every chief factor of B/ Soc(B) is an s-factor and m − 1 is less or equal than the chief length of B/ Soc(B).According to lemma 3.7, there exists a chief series of B passing through 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.

Proposition 2 .
2 [10, 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 ∈ B.

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 ∩ J 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 λ B/I : (B/I, •) → Aut(B/I, +) satisfies that λ bI (aI) = −bI + (bI)(aI) = (−b + ba)I = λ b (a)I, for every a, b ∈ B. The next proposition shows the behaviour of left ideals and ideals under the star product.Proposition 2.5 [1, 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 * L is a left ideal of B.Moreover, I * 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 = 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.

Definition 2 . 8 [
11, definition 3.1].The radical Rad(B) of a skew left brace B is the intersection of all maximal ideals of B, if such exists, and B otherwise.
for every b ∈ B. Then, I/J is an f -factor of B if, and only if, b * x ∈ J, for every b ∈ B and every x ∈ I, and the first statement holds.Let x ∈ I.Then, xJ ∈ Soc(B/J) implies that xJ * bJ = J, for every b ∈ B. Thus, if I/J is an s-factor, it follows that I * B ⊆ J.Moreover, since I/J ⊆ Z(B/J, +), we have that [I, B] + ⊆ J. Conversely, suppose that I * B ⊆ J and [I, B] + ⊆ J. Given x ∈ I and b ∈ B, it follows that x * b = λ x (b) − b ∈ J, i.e. λ x (b)J = bJ.Moreover, (x + b)J = (b + x)J.Thus, I/J ⊆ Soc(B/J).The next example shows the commutator condition is essential to characterize s-factors.Example 3.4.Suppose that (B, +, •) is a trivial skew left brace, i.e. a skew left brace where the two group structures coincide, (B, +) = (B, •).Let (B, •) be a group with trivial centre.Then, Soc(B) = 1 and Ker λ = B. Thus, for every non-trivial normal subgroup 1 = N B, N is an ideal such that N * B = 1, but N Soc(B).Lemma 3.5.Let I and J be ideals of B and set L = IJ.Then, and only if, L/I ⊆ Soc(B/I) (L/I ⊆ Fix(B/I)).Proof.We only prove (3.5) as (3.5) is analogous.We can assume without loss of generality that I ∩ J = 1.Suppose that I ⊆ Soc(B).Let zJ ∈ L/J and bJ ∈ B/J.Then, zJ = xJ for some element x ∈ I. Since λ x (b) = b and x + b = b + x, it follows that λ zJ (bJ) = λ xJ (bJ) = λ x (b)J = bJ and zJ + bJ = (x + b)J = (b + x)J = bJ + zJ.Consequently, L/J ⊆ Soc(B/J).
Since the hypothesis carry over to B/L, we conclude by induction that I/L ⊆ Rad(B/L)J/L.If L ⊆ Rad(B) then Rad(B/L) = Rad(B)/L and thus, I ⊆ Rad(B)J, as desired.Therefore, suppose that L is not contained in Rad(B).Let M be a maximal ideal of B such that L M .Then, B = L + M = LM and L ∩ M = 1.Hence, I = L(I ∩ M ).The isomorphism x → xL from M onto B/L yields Rad(M )L/L = Rad(B/L) and therefore, I ⊆ Rad(M )LJ = Rad(M )J.By [11, proposition 3.9], Rad(M ) ⊆ Rad(B).Consequently, we obtain I ⊆ 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 f : {I, IJ/I} → {J, IJ/J} such that, corresponding chief factors are isomorphic and r-chief factors correspond to one another.Proof.Put L = IJ, and assume that I ⊆ Rad(B).Then, L/J ⊆ Rad(B)J/J ⊆ Rad(B/J).If L/I ⊆ Rad(B/I) then L ⊆ Rad(B), because Rad(B/I) = Rad(B)/I.In this case, the map f (I) = L/J and f (L/I) = J satisfies the requirements.If L/I Rad(B/I) = 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 ∩ Rad(B) = J ∩ Rad(B) = 1 and L/J ⊆ Rad(B/J).Let M be a maximal ideal of B such thatB = I + M = IM and I ∩ M = 1.Write K = L ∩ M .Then, K is an ideal of B and KI = L. Hence, K ∼ = L/I ∼ = J.If K = J, then L ⊆ M ,which is a contradiction to the fact I ∩ M = 1.Therefore, K = J, L = KJ and I ∼ = K ∼ = J.By lemma 3.8, L ⊆ Rad(B)J.Hence, L = J(L ∩ Rad(B)).Note that J ∩ (L ∩ Rad(B)) = 1 and L ∩ Rad(B) ⊆ K. Thus, K = L ∩ Rad(B) and K is an r-chief factor of B which is isomorphic to L/J.Since L/I = KI/I ⊆ Rad(B)I/I = 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

Corollary 4 . 7 .
Let B a skew left brace with chief series.then, 1. [3, theorem 2.8] Suppose that B is right nilpotent of nilpotent type and let I be a non-trivial ideal.Then, I ∩ Soc(B) = 1.In particular, Soc(B) = 1. 2. [3, corollary 2.10] Suppose that B is right nilpotent of nilpotent type and let I be a minimal ideal of B. Then, I ⊆ Soc(B).

If
B is a skew left brace, let r B : B × B → B × B be the map given by r B (a, b) = (λ a (b), ρ b (a)) for every a, b ∈ B. where ρ : (B, •) → Sym(B) is defined by b → ρ b , with ρ b (a) = (a −1 + b) −1 b, for every a ∈ B. Then, ρ is an anti-homomorphism and r B is a bijective non-degenerate solution of the YBE called the solution associated with B.

Proposition 5 . 1 [
14, 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 Ret n (B, r B ), for every n 1.

Theorem 5 .
2 [8, 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/ Soc n (B), r n ) is isomorphic to the nth-retraction Ret n (B, r B ), for every n 1.As a consequence, (B, r B ) is a multipermutation solution of level m if, and only if, B has finite multipermutational level m.

Theorem 5 . 4 [ 3 ,
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.
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.