pith. sign in

arxiv: 2606.28177 · v1 · pith:OJNORYGTnew · submitted 2026-06-26 · 🧮 math.GR · math.RA

Chain conditions on skew braces and solutions of the Yang-Baxter Equation

Massimiliano Di Matteo , Ram\'on Esteban-Romero , Maria Ferrara , Vicent P\'erez-Calabuig This is my paper

Pith reviewed 2026-06-29 01:39 UTC · model grok-4.3

classification 🧮 math.GR math.RA
keywords skew braceschain conditionsidealsYang-Baxter equationset-theoretic solutionsfinite generationsolubilitylocal nilpotency
0
0 comments X

The pith

Skew braces satisfying maximal or minimal conditions on ideals satisfy finiteness analogues of Hall's and McLain's group theorems.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper examines whether skew braces that meet the maximal condition on ideals and that are soluble are finitely generated, in direct parallel with classical results for groups. It performs a similar analysis for the minimal condition and local nilpotency. The work also defines corresponding finiteness and chain conditions for non-degenerate set-theoretic solutions of the Yang-Baxter equation and traces their consequences for the structure and permutation skew braces built from those solutions. A sympathetic reader would care because these structures encode solutions to an equation central to integrable systems, so the chain conditions could provide a route to determining when such solutions are finite or finitely generated.

Core claim

Classical works of Hall and McLain show that solubility and local nilpotency play a key role in deriving finite generation in groups from maximal or minimal conditions on normal subgroups. In this work, brace-theoretical analogues of Hall's and McLain's results are analysed for skew braces satisfying the maximal or minimal condition on ideals. Finiteness and chain conditions on non-degenerate set-theoretic solutions of the Yang-Baxter equation are introduced, and their impact on associated structure and permutation skew braces of solutions is also described.

What carries the argument

skew braces with the maximal or minimal condition on ideals, together with the structure skew brace and permutation skew brace associated to a non-degenerate set-theoretic solution of the Yang-Baxter equation

If this is right

  • Soluble skew braces satisfying the maximal condition on ideals are finitely generated.
  • Locally nilpotent skew braces satisfying the minimal condition on ideals satisfy the corresponding finiteness properties.
  • Finiteness conditions on non-degenerate set-theoretic solutions of the Yang-Baxter equation imply finiteness of the associated structure skew braces.
  • Chain conditions on solutions of the Yang-Baxter equation constrain the permutation skew braces of those solutions.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • These results suggest that finite non-degenerate Yang-Baxter solutions might be classified by checking chain conditions on their associated skew braces.
  • The same techniques could connect to the study of other algebraic objects, such as racks, that also produce solutions to the Yang-Baxter equation.
  • One could test whether relaxing non-degeneracy allows the chain condition results to extend to a broader class of solutions.

Load-bearing premise

The assumption that the classical Hall-McLain implications transfer directly to the setting of skew braces when ideals replace normal subgroups, without additional structural obstructions arising from the brace operation.

What would settle it

A soluble skew brace that satisfies the maximal condition on ideals but is not finitely generated would serve as a counterexample to the analogue of Hall's theorem.

read the original abstract

Classical works of Hall and McLain show that solubility and local nilpotency play a key role in deriving finite generation in groups from maximal or minimal conditions on normal subgroups. In this work, brace-theoretical analogues of Hall's and McLain's results are analysed for skew braces satisfying the maximal or minimal condition on ideals. We also introduce finiteness and chain conditions on non-degenerate set-theoretic solutions of the Yang-Baxter equation, and their impact on associated structure and permutation skew braces of solutions is also described.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 1 minor

Summary. The manuscript claims to establish brace-theoretic analogues of Hall's and McLain's classical results: for skew braces satisfying the maximal (resp. minimal) condition on ideals, solubility (resp. local nilpotency) implies finite generation. It further introduces notions of finiteness and chain conditions on non-degenerate set-theoretic solutions of the Yang-Baxter equation and describes their consequences for the associated structure skew brace and permutation skew brace.

Significance. If the claimed analogues hold with the same strength as in the group case, the work would provide a useful structural bridge between classical group theory and the theory of skew braces, which are central to the study of set-theoretic solutions of the Yang-Baxter equation. The introduction of chain conditions directly on YBE solutions is a natural and potentially useful extension.

major comments (2)
  1. [§1 and the section containing the proof of the maximal-condition theorem] The central claim (abstract and §1) that the Hall-McLain implications transfer directly rests on the unverified assumption that the two-sided ideal axioms and the brace operation * do not obstruct the standard ascending/descending chain arguments used in groups. The manuscript must exhibit the precise adaptation of the key lemmas (e.g., the generation argument from an ascending chain of ideals) and show that the extra relations coming from a*b = a + b + a*b (or equivalent) do not create counter-examples to finite generation.
  2. [The section on the minimal condition] No explicit statement or counter-example check is given for whether the minimal-condition case requires additional hypotheses on the brace (e.g., non-degeneracy or left/right distributivity properties) that are not needed in the group setting. This is load-bearing for the McLain-type result.
minor comments (1)
  1. Notation for the brace operation and for ideals should be introduced once and used consistently; currently the abstract uses “ideals” without recalling the precise two-sided ideal definition employed later.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments on the manuscript. The points raised concern the clarity of the proof adaptations from the classical group-theoretic results. We address each major comment below and will revise the manuscript to make the arguments more explicit.

read point-by-point responses

  1. Referee: [§1 and the section containing the proof of the maximal-condition theorem] The central claim (abstract and §1) that the Hall-McLain implications transfer directly rests on the unverified assumption that the two-sided ideal axioms and the brace operation * do not obstruct the standard ascending/descending chain arguments used in groups. The manuscript must exhibit the precise adaptation of the key lemmas (e.g., the generation argument from an ascending chain of ideals) and show that the extra relations coming from a*b = a + b + a*b (or equivalent) do not create counter-examples to finite generation.

    Authors: The section containing the proof of the maximal-condition theorem adapts the standard ascending chain argument by showing that the union of the chain generates a finitely generated ideal under the solubility hypothesis, with the skew brace axioms ensuring compatibility of the * operation with two-sided ideals. The extra relations from the brace axiom a*b = a + b + a*b are handled directly in the generation step because ideals are closed under both addition and the brace product. To strengthen the presentation, we will revise by adding an explicit lemma that isolates this adaptation and confirms no counter-examples arise from the brace relations. revision: yes

  2. Referee: [The section on the minimal condition] No explicit statement or counter-example check is given for whether the minimal-condition case requires additional hypotheses on the brace (e.g., non-degeneracy or left/right distributivity properties) that are not needed in the group setting. This is load-bearing for the McLain-type result.

    Authors: The McLain-type result in the minimal-condition section is proved using only the skew brace axioms and the minimal condition on ideals together with local nilpotency; no additional hypotheses such as non-degeneracy are invoked or required. The inherent left and right distributivity properties of skew braces suffice for the descending chain arguments. We will revise the section to include an explicit remark stating that the result holds without further assumptions and briefly explaining why the brace structure does not necessitate extra conditions. revision: yes

Circularity Check

0 steps flagged

No circularity: independent algebraic proofs of chain-condition analogues

full rationale

The paper states classical Hall-McLain theorems for groups and then analyzes their brace-theoretic analogues for skew braces under maximal/minimal conditions on ideals, plus finiteness conditions on non-degenerate set-theoretic YBE solutions. No equations, fitted parameters, self-definitional reductions, or load-bearing self-citations appear in the provided abstract or description. The derivation chain consists of standard ideal-theoretic arguments transferred to the skew-brace setting; these rest on external classical results (Hall, McLain) and the established definitions of skew braces and YBE solutions rather than any input being renamed or forced as output. The work is therefore self-contained against external benchmarks with no reduction by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on the standard axioms of skew braces and the definition of the Yang-Baxter equation from prior literature; no free parameters, invented entities, or ad-hoc axioms are visible in the abstract.

axioms (2)
  • standard math Skew braces are algebraic structures satisfying the standard brace axioms (left and right distributivity with the group operation).
    Invoked implicitly when stating analogues for skew braces.
  • domain assumption Non-degenerate set-theoretic solutions of the Yang-Baxter equation correspond to permutation skew braces via the standard construction.
    Used when describing the impact on associated structure and permutation skew braces.

pith-pipeline@v0.9.1-grok · 5622 in / 1437 out tokens · 30047 ms · 2026-06-29T01:39:34.425752+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

19 extracted references

  1. [1]

    Trombetti

    A.Ballester-Bolinches, R.Esteban-Romero, M.Ferrara, V.Pérez-Calabuig, and M. Trombetti. Central nilpotency of left skew braces and solutions of the Yang-Baxter equation.Pacific J. Math., 335(1):1–32, 2025. 24

    2025

  2. [2]

    Ballester-Bolinches, R

    A. Ballester-Bolinches, R. Esteban-Romero, P. Jiménez-Seral, and V. Pérez-Calabuig. Soluble skew left braces and soluble solutions of the Yang-Baxter equation.Adv. Math., 455:109880, 27 pp., 2024

    2024

  3. [3]

    Ballester-Bolinches, R

    A. Ballester-Bolinches, R. Esteban-Romero, L. A. Kurdachenko, and V. Pérez-Calabuig. On the structure of left braces satisfying the minimal condition for subbraces.J. Algebra, 662:528–544, 2025

    2025

  4. [4]

    Ballester-Bolinches, L

    A. Ballester-Bolinches, L. A. Kurdachenko, P. Pérez-Altarriba, and V. Pérez-Calabuig. On the structure of braces satisfying the maximal con- dition on ideals.Bull. Sci. Math., 208:103788, 2026

    2026

  5. [5]

    Ballester-Bolinches, R

    A. Ballester-Bolinches, R. Esteban-Romero, L. A. Kurdachenko, and V. Pérez-Calabuig. On skew left braces satisfying the minimal condition on ideals.Submitted

  6. [6]

    F. Cedó, E. Jespers, Ł. Kubat, A. Van Antwerpen, and C. Verwimp. On various types of nilpotency of the structure monoid and group of a set- theoretic solution of the Yang-Baxter equation.J. Pure Appl. Algebra, 227(2):107194, 2023

    2023

  7. [7]

    F. Cedó, A. Smoktunowicz, and L. Vendramin. Skew left braces of nilpotent type.Proc. London Math. Soc., 118(6):1367–1392, 2019

    2019

  8. [8]

    Etingof, T

    P. Etingof, T. Schedler, and A. Soloviev. Set theoretical solutions to the quantum Yang-Baxter equation.Duke Math. J., 100:169–209, 1999

    1999

  9. [9]

    P. Hall. Finiteness conditions for soluble groups.Proc. London Math. Soc., 4(3):419–436, 1954

    1954

  10. [10]

    H. Meng, A. Ballester-Bolinches, L. A. Kurdachenko, and V. Pérez- Calabuig. On finitely generated left nilpotent braces.Trans. Lond. Math. Soc., 12(1):e70014, 2025

    2025

  11. [11]

    Jedlička, and A

    P. Jedlička, and A. Pilitowska. Diagonals of solutions of the Yang-Baxter equationForum Math., 38(2):321–338, 2026

    2026

  12. [12]

    S. A. Jennings. A note on chain conditions in nilpotent rings and groups. Bull. Amer. Math. Soc., 50(10):759–763, 1944

    1944

  13. [13]

    Jespers, Ł

    E. Jespers, Ł. Kubat, A. Van Antwerpen, and L. Vendramin. Radical and weight of skew braces and their applications to structure groups of solutions of the Yang-Baxter equation.Adv. Math., 385:107767, 2021

    2021

  14. [14]

    L. A. Kurdachenko, and I. Ya. Subbotin. On the structure of some one- generator braces.Proc. Edinb. Math. Soc., 67:566–576, 2024

    2024

  15. [15]

    J.-H. Lu, M. Yan, and Y.-C. Zhu. On the set-theoretical Yang-Baxter equation.Duke Math. J., 104(1):1–18, 2000. 25

    2000

  16. [16]

    D. H. McLain. On locally nilpotent groups.Proc. Cambridge Philos. Soc., 52:5–11, 1956

    1956

  17. [17]

    Nasybullov

    T. Nasybullov. Connections between properties of the additive and the multiplicative groups of a two-sided skew brace.J. Algebra, 540:156–167, 2019

    2019

  18. [18]

    W. Rump. Braces, radical rings, and the quantum Yang-Baxter equation. J. Algebra, 307:153–170, 2007

    2007

  19. [19]

    Trappeniers

    S. Trappeniers. On two-sided skew braces.J. Algebra, 631:267–286, 2023. 26

    2023