Dedekind Skew Braces: Structure & Nilpotency

• Dedekind skew braces are skew braces in which every sub-skew brace is an ideal, enforcing simultaneous additively normal, multiplicatively normal, and lambda-invariant properties.
• Research shows that finite Dedekind skew braces are centrally nilpotent, and classification results extend to cases with locally cyclic or torsion-free additive groups.
• Their structure has significant Yang–Baxter applications, as constraints like diagonal fixing force triviality in corresponding non-degenerate set-theoretic solutions.

Dedekind skew braces are skew braces $(B,+,\circ)$ in which every sub-skew brace is an ideal. In the modern literature this is the brace-theoretic analogue of a Dedekind group, where every subgroup is normal, but the brace condition is stronger because it requires compatibility with two group structures and with the $\lambda$-action. The subject emerged from the earlier theory of Dedekind left braces and was extended to arbitrary skew braces by the paper "On Dedekind Skew Braces" (Caranti et al., 31 Jul 2025), which proves in particular that every finite Dedekind skew brace is centrally nilpotent, that every hypermultipermutational Dedekind skew brace with torsion-free additive group is trivial, and that the locally cyclic case admits an explicit classification. The left-brace prototype was introduced in "On left braces in which every subbrace is an ideal" (Ballester-Bolinches et al., 2024).

1. Definitions and basic framework

A skew brace is a triple $(B,+,\circ)$ such that $(B,+)$ and $(B,\circ)$ are groups and

$a\circ (b+c)=a\circ b-a+a\circ c$

for all $a,b,c\in B$. The common identity element of the two groups is denoted by $0$. Foundationally, the associated map

$$\lambda:(B,\circ)\to \operatorname{Aut}(B,+),\qquad \lambda_a(b)=-a+a\circ b$$

is a group homomorphism, and the derived star operation is

$a*b=\lambda_a(b)-b=-a+a\circ b-b.$

These formulas are part of the standard skew-brace formalism developed in the foundational literature (Guarnieri et al., 2015).

A sub-skew brace is a subset that is a subgroup of both $\lambda$0 and $\lambda$1. A left-ideal is a subgroup of $\lambda$2 that is $\lambda$3-invariant. A strong left-ideal is a left-ideal normal in $\lambda$4. An ideal is a strong left-ideal that is also normal in $\lambda$5. In the language used in the Dedekind-skew-brace literature, a skew brace is Dedekind exactly when every sub-skew brace is an ideal (Caranti et al., 31 Jul 2025).

This definition is materially stronger than asking for normality in only one of the underlying groups. It requires simultaneous additively normal, multiplicatively normal, and $\lambda$6-stable behavior for every sub-skew brace. That strengthened requirement is what makes Dedekind skew braces far more rigid than generic skew braces.

2. Central objects, nilpotency, and ideal-theoretic structure

The basic canonical ideals are the socle and the center. In the notation of the Dedekind-skew-brace paper,

$\lambda$7

and both are ideals (Caranti et al., 31 Jul 2025). The paper also uses the upper central series $\lambda$8 and the upper socle series $\lambda$9, with the corresponding notions of hypercentrality and hypermultipermutationality. A skew brace is centrally nilpotent if $(B,+,\circ)$0 for some finite $(B,+,\circ)$1, hypercentral if $(B,+,\circ)$2 for some ordinal $(B,+,\circ)$3, of finite multipermutational level if $(B,+,\circ)$4 for some $(B,+,\circ)$5, and hypermultipermutational if $(B,+,\circ)$6 for some ordinal $(B,+,\circ)$7 (Caranti et al., 31 Jul 2025).

This terminology sits inside a broader central-series theory for skew braces. Independent work on central nilpotency develops a brace center $(B,+,\circ)$8 and proves that a skew brace is centrally nilpotent of class $(B,+,\circ)$9 if and only if $(B,+)$0, equivalently $(B,+)$1, where $(B,+)$2 is the corresponding lower central series (Bonatto et al., 2021). A later survey on left series, right series, socle series, and annihilator series shows that right-series terms, socle terms, and annihilator terms are canonical ideals, and relates socle nilpotency and annihilator nilpotency to nilpotence of the underlying groups (Tsang, 3 Mar 2025). In the Dedekind setting, these results explain why central and socle filtrations are the natural language: the hypothesis “every sub-skew brace is an ideal” interacts most strongly with precisely those characteristic ideal series.

The trivial skew braces are exactly those for which $(B,+)$3 (Caranti et al., 31 Jul 2025). That observation becomes decisive in both the locally cyclic classification and the Yang–Baxter applications.

3. Finite and hypercentral structure theorems

The central structural theorem of the subject is Theorem $(B,+)$4 of (Caranti et al., 31 Jul 2025). It states that if $(B,+)$5 is a Dedekind skew brace having an ascending series of ideals whose factors are either locally finite or have a cyclic additive or multiplicative group, then any ideal $(B,+)$6 with either $(B,+)$7 or $(B,+)$8 infinite cyclic satisfies $(B,+)$9, and $(B,\circ)$0 is hypercentral. The same theorem adds that every trivial sub-skew brace $(B,\circ)$1 with $(B,\circ)$2 non-periodic lies in $(B,\circ)$3.

Its corollaries include the main finite theorem: every finite Dedekind skew brace is centrally nilpotent (Caranti et al., 31 Jul 2025). The same corollary says that Dedekind skew braces that are almost polycyclic or supersoluble are centrally nilpotent, while Dedekind skew braces that are locally finite, soluble, hypercyclic, or hypermultipermutational are hypercentral (Caranti et al., 31 Jul 2025). This removes the earlier restriction to braces of abelian type and is the main structural advance of the 2025 theory.

The finite theory has several sharp refinements. If $(B,\circ)$4 has order $(B,\circ)$5 and either $(B,\circ)$6 or $(B,\circ)$7 is cyclic, then $(B,\circ)$8 is Dedekind and therefore centrally nilpotent (Caranti et al., 31 Jul 2025). For odd primes $(B,\circ)$9, cyclicity on one side forces cyclicity on the other side as well, and additive and multiplicative generators coincide (Caranti et al., 31 Jul 2025). More generally, any finite skew brace for which either $a\circ (b+c)=a\circ b-a+a\circ c$0 or $a\circ (b+c)=a\circ b-a+a\circ c$1 is cyclic is supersoluble (Caranti et al., 31 Jul 2025).

These results do not collapse the class to triviality. The paper constructs, for each prime $a\circ (b+c)=a\circ b-a+a\circ c$2 and each $a\circ (b+c)=a\circ b-a+a\circ c$3, Dedekind bi-skew braces of arbitrarily large central nilpotency class, so there is no uniform class bound (Caranti et al., 31 Jul 2025). It also constructs nontrivial Dedekind bi-skew braces of order $a\circ (b+c)=a\circ b-a+a\circ c$4 whose additive and multiplicative groups are both non-abelian $a\circ (b+c)=a\circ b-a+a\circ c$5-groups of class $a\circ (b+c)=a\circ b-a+a\circ c$6, while the brace itself is centrally nilpotent of class $a\circ (b+c)=a\circ b-a+a\circ c$7 (Caranti et al., 31 Jul 2025). Thus the finite theory is rigid but not degenerate.

4. Locally cyclic and finite-rank underlying groups

One of the paper’s deepest contributions is the explicit classification of nontrivial skew braces whose additive or multiplicative group is torsion-free locally cyclic. If $a\circ (b+c)=a\circ b-a+a\circ c$8 is torsion-free locally cyclic, then exactly two cases occur (Caranti et al., 31 Jul 2025). In the first, $a\circ (b+c)=a\circ b-a+a\circ c$9, $a,b,c\in B$0, $a,b,c\in B$1 is not $a,b,c\in B$2-divisible, and the multiplication has dihedral type: $a,b,c\in B$3 for a suitable isomorphism $a,b,c\in B$4. In the second, $a,b,c\in B$5, the multiplicative group is abelian, and

$a,b,c\in B$6

for suitable rational parameters satisfying the arithmetic restrictions listed in the classification theorem. In both cases the resulting skew brace is not Dedekind (Caranti et al., 31 Jul 2025).

If instead $a,b,c\in B$7 is torsion-free locally cyclic, then every nontrivial example has additive group

$a,b,c\in B$8

where $a,b,c\in B$9 is a trivial subbrace with $0$0, $0$1 is an additive involution acting by inversion on $0$2, $0$3 is not $0$4-divisible, $0$5, and

$0$6

Again, such a brace is not Dedekind (Caranti et al., 31 Jul 2025).

Consequently, if either $0$7 or $0$8 is torsion-free locally cyclic, then the following are equivalent: $0$9 is trivial, $$\lambda:(B,\circ)\to \operatorname{Aut}(B,+),\qquad \lambda_a(b)=-a+a\circ b$$0 is Dedekind, and both underlying groups are locally nilpotent (Caranti et al., 31 Jul 2025). This is one of the clearest rigidity statements in the area.

The paper extends these conclusions beyond rank $$\lambda:(B,\circ)\to \operatorname{Aut}(B,+),\qquad \lambda_a(b)=-a+a\circ b$$1. If either underlying group is a divisible periodic abelian group of finite abelian subgroup rank, then $$\lambda:(B,\circ)\to \operatorname{Aut}(B,+),\qquad \lambda_a(b)=-a+a\circ b$$2 is trivial (Caranti et al., 31 Jul 2025). If $$\lambda:(B,\circ)\to \operatorname{Aut}(B,+),\qquad \lambda_a(b)=-a+a\circ b$$3 is Dedekind and $$\lambda:(B,\circ)\to \operatorname{Aut}(B,+),\qquad \lambda_a(b)=-a+a\circ b$$4 is soluble-by-finite and minimax, then $$\lambda:(B,\circ)\to \operatorname{Aut}(B,+),\qquad \lambda_a(b)=-a+a\circ b$$5 is centrally nilpotent; if $$\lambda:(B,\circ)\to \operatorname{Aut}(B,+),\qquad \lambda_a(b)=-a+a\circ b$$6 is also torsion-free, then $$\lambda:(B,\circ)\to \operatorname{Aut}(B,+),\qquad \lambda_a(b)=-a+a\circ b$$7 is trivial. A parallel statement holds when $$\lambda:(B,\circ)\to \operatorname{Aut}(B,+),\qquad \lambda_a(b)=-a+a\circ b$$8 is minimax abelian, with torsion-free multiplicative group again forcing triviality (Caranti et al., 31 Jul 2025). These finite-rank theorems show that Dedekindness is incompatible with much nontrivial brace behavior once the ambient group theory becomes sufficiently constrained.

5. Yang–Baxter theoretic consequences

Dedekind skew braces are studied partly because skew braces control non-degenerate set-theoretic solutions of the Yang–Baxter equation. For a skew brace $$\lambda:(B,\circ)\to \operatorname{Aut}(B,+),\qquad \lambda_a(b)=-a+a\circ b$$9, the associated solution is

$a*b=\lambda_a(b)-b=-a+a\circ b-b.$0

while every non-degenerate solution $a*b=\lambda_a(b)-b=-a+a\circ b-b.$1 has a structure group $a*b=\lambda_a(b)-b=-a+a\circ b-b.$2 carrying a canonical skew-brace structure (Caranti et al., 31 Jul 2025). This correspondence is part of the standard skew-brace/Yang–Baxter dictionary (Guarnieri et al., 2015).

The decisive brace-theoretic input is the lemma that $a*b=\lambda_a(b)-b=-a+a\circ b-b.$3 implies the sub-skew brace generated by $a*b=\lambda_a(b)-b=-a+a\circ b-b.$4 is trivial and in fact

$a*b=\lambda_a(b)-b=-a+a\circ b-b.$5

(Caranti et al., 31 Jul 2025). Building on that, the paper proves that if $a*b=\lambda_a(b)-b=-a+a\circ b-b.$6 is Dedekind, $a*b=\lambda_a(b)-b=-a+a\circ b-b.$7 is not periodic, $a*b=\lambda_a(b)-b=-a+a\circ b-b.$8, and $a*b=\lambda_a(b)-b=-a+a\circ b-b.$9 for every $\lambda$00, then $\lambda$01 is trivial (Caranti et al., 31 Jul 2025).

This yields two major YBE consequences. First, if $\lambda$02 is hypermultipermutational and its structure skew brace is Dedekind with torsion-free additive group, then $\lambda$03 is the twist solution (Caranti et al., 31 Jul 2025). Second, and more generally, if a non-degenerate solution has Dedekind structure skew brace and fixes the diagonal elements,

$\lambda$04

then the solution must be the twist solution, and the structure skew brace is a group isomorphic to $\lambda$05 (Caranti et al., 31 Jul 2025). In the Dedekind context, diagonal fixing leaves no room for genuinely nontrivial braid dynamics.

6. Examples, comparisons, and open directions

The class is broad enough to contain non-abelian and infinite examples. Dedekind skew braces are not confined to abelian type, and there exist Dedekind skew braces of non-abelian type that are not bi-skew braces (Caranti et al., 31 Jul 2025). There are also infinite supersoluble Dedekind skew braces containing elements of additive order $\lambda$06, so torsion hypotheses in the triviality theorems are essential (Caranti et al., 31 Jul 2025).

At the same time, Dedekindness is much stronger than several nearby rigidity conditions. A useful comparison is with symmetric skew braces. The paper "Symmetric skew braces and brace systems" proves that symmetry is equivalent to the $\lambda$07-anti-homomorphic condition and supplies many symmetric constructions, including infinite families on free groups; those examples are explicitly presented as evidence that symmetry alone is far from a Dedekind property (Bardakov et al., 2022). This sharply separates ideal-theoretic rigidity from bidirectional compatibility of the two group laws.

Historically, the skew-brace theory grows out of the left-brace prototype. Dedekind left braces were defined in 2024 as left braces in which every subbrace is an ideal, and every finite Dedekind left brace was shown to be centrally nilpotent (Ballester-Bolinches et al., 2024). A sequel studied non-periodic additive groups and proved, among other things, that a Dedekind left brace with $\lambda$08 for every element is abelian, and that hypermultipermutational Dedekind left braces with torsion-free socle are abelian (Ballester-Bolinches et al., 14 Jan 2026). The 2025 skew-brace theory can therefore be read as the removal of the abelian-type assumption from essentially all of the principal finite and nilpotency results.

Several foundational questions remain open. The authors of (Caranti et al., 31 Jul 2025) explicitly ask whether every Dedekind skew brace is hypercentral, whether the hypersocle coincides with the hypercentre at least when the additive group is torsion-free, and whether a Hirsch-length hypothesis appearing in one of their corollaries can be removed. These questions indicate that the finite and finite-rank theories are already robust, but the general infinite theory of Dedekind skew braces is still incomplete.