---
title: 'Supersoluble Skew Brace: Structure & Theory'
url: https://www.emergentmind.com/topics/supersoluble-skew-brace
type: topic
---

# Supersoluble Skew Brace: Structure & Theory

Searching arXiv for the cited supersoluble skew brace papers and closely related results.
Supersoluble skew braces form a class of skew braces defined by a finite ideal series with prime-order factors, together with an infinite-cyclic socle condition in the non-finite case, and studied as a brace-theoretic analogue of supersoluble groups. In the treatment of Ballester-Bolinches, Esteban-Romero, Ferrara, Pérez-Calabuig, and Trombetti, a brace \(B\) is supersoluble when it admits a finite chain of ideals whose successive factors have prime order or are infinite cyclic and lie in the socle of the relevant quotient; this class encompasses all finite skew braces of square-free order, and within it several structural and algorithmic properties become easier to identify [2402.18486]. A later finite formulation, used in a preliminary Sylow-theoretic draft, declares a finite skew brace supersoluble when every non-trivial homomorphic image has an ideal of prime order, paralleling the corresponding group-theoretic definition [2506.00940].

## 1. Definitions and notational frameworks

One standard convention describes a skew brace as a set \(B\) endowed with two group structures, additive \((B,+)\) with identity \(0\) and multiplicative \((B,\cdot)\) with the same identity, satisfying the skew-distributive law
\[
x\cdot (y+z)=x\cdot y-x+(x\cdot z)
\qquad \forall\,x,y,z\in B.
\]
Associated to this structure is the map
\[
\lambda_x(y)=-x+x\cdot y\in \mathrm{Aut}(B,+),
\]
and the \(\star\)-product
\[
x\star y=\lambda_x(y)-y=-x+x\cdot y-y.
\]
If \(I\lhd B\) is an ideal, the notation
\[
\mathrm{Soc}(B)=\ker \lambda \cap Z(B,+)
\]
is used for the socle, and \(Z^p(B)\) denotes the \(p\)th term of the upper central series [2402.18486].

In this convention, a brace \(B\) is called supersoluble if there exists a finite chain of ideals
\[
\{0\}=I_0<I_1<\cdots<I_n=B
\]
such that for each \(0\le i<n\), either \(I_{i+1}/I_i\) has prime order, or \((I_{i+1}/I_i,+)\cong \mathbb Z\) is infinite cyclic and \(I_{i+1}/I_i\le \mathrm{Soc}(B/I_i)\). Every prime-order factor is automatically trivial as a brace and hence abelian, so every supersoluble brace is, in particular, soluble.

A second convention, used for right skew braces, writes the two group laws as \((B,\cdot)\) and \((B,\circ)\) with common identity \(1\), subject to
\[
(x\cdot y)\circ z=(x\circ z)\cdot z^{-1}\cdot (y\circ z)
\qquad \forall\,x,y,z\in B.
\]
The corresponding map
\[
\gamma(z)(x)=(x\circ z)\cdot z^{-1}
\]
is an automorphism of \((B,\cdot)\), and \(\gamma\colon (B,\circ)\to \mathrm{Aut}(B,\cdot)\) is a group homomorphism. In this finite setting, a skew brace is called supersoluble if every non-trivial homomorphic image admits an ideal of prime order [2506.00940].

## 2. Ideal series, Sylow towers, and finite structure

Finite supersoluble braces admit a strong refinement of their ideal structure. If \(B\) is finite supersoluble and \(\{p_1>p_2>\cdots>p_t\}\) is the set of primes dividing \(|B|\), and if \(P_j\) is a Sylow \(p_j\)-subgroup of the additive group \((B,+)\), then there exists a permutation \(\sigma\in \mathrm{Sym}(t)\) such that
\[
I_j=P_{\sigma(1)}+P_{\sigma(2)}+\cdots+P_{\sigma(j)}
\]
is an ascending chain of ideals covering \(B\) in \(t\) steps. Moreover, each \(P_{\sigma(j)}\) lies in the socle of the quotient by the previous sums, and the primes occur in strictly descending order. The series can therefore be refined so that “large-prime” Sylows occur first [2402.18486].

This Sylow-tower phenomenon is the brace analogue of a familiar group-theoretic feature of supersolubility, but here it is expressed in terms of ideal sums and additive Sylow subgroups. The result is not merely organizational: it provides a canonical way to detect large-scale brace structure prime by prime.

A direct corollary is that, in a finite supersoluble brace, the set of all odd-order elements \(U_2(B)\) in \((B,+)\) is an ideal. This isolates the odd-primary part of the additive group as an ideal-theoretic component rather than merely a subgroup, which is especially useful in later arguments on Fitting theory and index bounds.

## 3. Central nilpotency and the Fitting ideal

For ideals in a skew brace, central nilpotency has two related formulations. An ideal \(I\lhd B\) is centrally nilpotent if it has a finite upper central series inside \(B\). It is \(B\)-centrally-nilpotent if there is a finite chain of ideals
\[
\{0\}=J_0<J_1<\cdots<J_m=I
\]
such that each successive quotient \(J_{k+1}/J_k\) is centrally embedded in \(I/J_k\). In general, one cannot sum two centrally nilpotent ideals and remain centrally nilpotent.

For finite supersoluble braces, this obstruction disappears. Every centrally nilpotent ideal is already \(B\)-centrally-nilpotent, and consequently the sum of all centrally nilpotent ideals of \(B\) is again centrally nilpotent. This sum is the Fitting ideal, denoted \(\mathrm{Fit}(B)\) [2402.18486].

The significance of this result is computational as well as structural. The paper emphasizes that, in a supersoluble brace, a centrally nilpotent ideal is automatically \(B\)-centrally-nilpotent, and that this simplifies the computational search for the Fitting ideal. The usual instability of central nilpotency under sums is replaced by a controlled ideal-theoretic closure.

A further corollary states that, for any finite supersoluble brace \(B\), \(\mathrm{Fit}(B)\) has finite index in \(B\). If, moreover, \(B\) has no odd-torsion in \((B,+)\), then the index \(|B:\mathrm{Fit}(B)|\) is a power of \(2\). This identifies a precise residual obstruction to the Fitting ideal being the whole brace.

## 4. Multipermutation level and additive nilpotency

The interaction between supersolubility and Yang–Baxter-theoretic nilpotency is encoded through the multipermutational, or right-nilpotent, series
\[
R_0(B)=B,\qquad R_{k+1}=R_k\star B,
\]
together with the upper socle series
\[
\mathrm{Soc}_0(B)=0,\qquad \mathrm{Soc}_{i+1}(B)/\mathrm{Soc}_i(B)=\mathrm{Soc}(B/\mathrm{Soc}_i(B)).
\]
A brace has finite multipermutation level exactly when \(B=\mathrm{Soc}_n(B)\) for some finite \(n\).

Within the class of supersoluble braces, there is a sharp criterion:
\[
(B,+)\text{ is nilpotent}\quad \Longleftrightarrow \quad B\text{ has finite multipermutation level}.
\]
Thus finite multipermutation level is not an automatic consequence of supersolubility alone; in this class, the decisive condition is nilpotency of the additive group [2402.18486].

This equivalence is conceptually important because it connects an internal group-theoretic property of the additive structure to a brace-theoretic property closely tied to set-theoretic solutions of the Yang–Baxter equation. It also gives a practical test: once supersolubility is known, additive nilpotency and finite multipermutation level become interchangeable criteria.

## 5. Square-free order, almost-polycyclicity, and algorithmic recognition

A central existence theorem states that every finite brace of square-free order is supersoluble. The proof proceeds by using the fact that, when \(|B|\) is square-free, both groups \((B,+)\) and \((B,\cdot)\) have cyclic Sylow subgroups and hence are supersoluble as groups, after which one selects a top prime factor, finds an ideal of prime order, and argues inductively on the quotient [2402.18486].

This theorem places square-free skew braces inside a substantially more rigid class. The paper gives concrete examples, noting that any bracket on \(C_6\times C_{10}\) or on \(C_{23}\times C_{11}\) defined via a suitable semidirect construction yields a brace of order \(253\) which is automatically supersoluble.

Supersoluble braces are also examples of almost-polycyclic braces, defined as braces admitting a finite chain of ideals each of whose factors is either finite or finitely generated inside the socle. Several corollaries follow. Supersoluble braces are residually finite. In an almost-polycyclic brace \(B\), supersolubility can be tested in finite homomorphic images: if all finite quotients are supersoluble, then \(B\) is supersoluble. Every maximal subbrace of a supersoluble brace has prime index, any index-\(2\) subbrace is automatically an ideal, and supersoluble braces admit a finite presentation and satisfy the maximal condition on subbraces.

These properties feed directly into algorithmics for Yang–Baxter theory. Let \(G(X,r)\) be the structure brace of a finite non-degenerate solution \((X,r)\) of the Yang–Baxter equation, given by a finite presentation
\[
0\to R\to F(X)\to G(X,r)\to 0,
\]
where \(F(X)\) is the free brace on a finite set \(X\) and \(R\) is finitely generated as an ideal. There is an explicit semi-decidable procedure which decides in finite time whether \(G(X,r)\) is supersoluble or not. One branch enumerates finite braces \(B'\) of increasing order and all homomorphisms \(G\to B'\), stopping if a finite image is found that is not supersoluble. The parallel branch attempts to build a supersoluble chain in \(G\) itself by searching for one-generator ideals \(\langle a\rangle\) of prime order or lying in the socle of a quotient, passing recursively to quotients until a full chain is found. Because the structure brace of a finite solution of the Yang–Baxter equation is almost-polycyclic and residually finite, the structural and algorithmic results above apply to it; in particular, one obtains effectively the Sylow tower of \(G(X,r)\), its Fitting ideal, and a decision procedure for whether \((X,r)\) is a multipermutation solution by testing the nilpotency of \((G,+)\) [2402.18486].

## 6. Sylow sub-skew braces and later extensions

A 2025 preliminary draft by Caranti, Del Corso, Di Matteo, Ferrara, and Trombetti develops a genuine Sylow theory for finite supersoluble skew braces. In the right-skew-brace convention, a Sylow \(p\)-sub-skew brace is a sub-skew brace \(P\le B\) whose order is the largest power of \(p\) dividing \(|B|\), equivalently a subset that is simultaneously a Sylow \(p\)-subgroup of \((B,\cdot)\) and of \((B,\circ)\). The main theorem states that if \(B\) is a finite supersoluble skew brace and \(p\) divides \(|B|\), then \(B\) contains a Sylow \(p\)-sub-skew brace [2506.00940].

The proof is by induction on \(|B|\) through a minimal-counterexample argument. One chooses an ideal \(M\unlhd B\) of prime order \(p\), passes to the quotient \(B/M\), lifts Sylow sub-skew braces from the quotient, and reduces to the case \(B=Q\ltimes M\) with \(M\cong C_p\) characteristic and \(Q\) a Sylow \(q\)-subgroup of \((B,\cdot)\), where \(q\ne p\). If \(Q\) centralizes \(M\), then \(Q\) is stabilized by \(\gamma(B)\) and hence is a sub-skew brace. Otherwise the argument uses Curran’s description of automorphisms of \(Q\ltimes M\), the vanishing of \(H^1(Q,M)\) for coprime orders, and a duality proposition to show that \(Q\) is again \(\gamma(B)\)-invariant, so the sub-brace criterion applies.

This theorem has several immediate extensions. By essentially the same induction, finite supersoluble skew braces admit Hall \(\pi\)-sub-skew braces for every set of primes \(\pi\). In addition, any left ideal of prime-power order in a finite supersoluble brace is contained in a Sylow sub-skew brace, and similarly for Hall sub-skew braces. Combined with the earlier theorem that every finite skew brace of square-free order is supersoluble, this yields the further consequence that every square-free skew brace has Sylow \(p\)-sub-skew braces [2402.18486].

The draft also records explicit examples. For the trivial brace on a finite supersoluble group \(G\), the theorem recovers the ordinary Sylow theorem for \(G\); the examples given include \(S_3\) and the semidirect product \(C_3\ltimes C_7\) of order \(21\). More exotic non-trivial skew braces of square-free order are described as following the same proof pattern: one reduces to a semidirect product by a minimal ideal of prime order and then uses cohomology-vanishing and a duality argument to force the Sylow subgroup to be a common subgroup of both brace structures [2506.00940].

Source: https://www.emergentmind.com/topics/supersoluble-skew-brace