pith. sign in

arxiv: 2501.03660 · v3 · submitted 2025-01-07 · 🧮 math.QA

Involutive (simple) latin solutions of the Yang-Baxter equation and related (left) quasigroups

Marco Bonatto , Marco Castelli This is my paper

Pith reviewed 2026-05-23 06:27 UTC · model grok-4.3

classification 🧮 math.QA
keywords involutive solutionsYang-Baxter equationlatin quasigroupsdisplacement groupsimple solutionsnilpotent permutation groupWeyl algebraprime power size
0
0 comments X

The pith

Involutive non-degenerate set-theoretic solutions of the Yang-Baxter equation with regular displacement group have their irretractable cases shown to be latin solutions whose blocks of imprimitivity and congruences are completely described.

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

The paper examines involutive non-degenerate set-theoretic solutions of the Yang-Baxter equation whose displacement group acts regularly. It shows that the irretractable members of this class are latin solutions and gives a full account of their blocks of imprimitivity together with their congruences. The simple members that possess a nilpotent permutation group receive a separate characterization. When the displacement group is additionally abelian and normal in the total permutation group, the description is sharpened by reference to the First Weyl Algebra. The work concludes by enumerating and classifying all simple examples whose underlying set has the smallest possible size p^p for an arbitrary prime p.

Core claim

For involutive non-degenerate set-theoretic solutions of the Yang-Baxter equation with regular displacement group, the irretractable ones belong to the class of latin solutions; their blocks of imprimitivity and congruences admit a complete description; the simple ones whose permutation group is nilpotent are characterized; when the displacement group is abelian and normal in the total permutation group a more precise description is obtained via the First Weyl Algebra; and the simple solutions of minimal cardinality p^p are enumerated and classified for every prime p.

What carries the argument

The blocks of imprimitivity and the congruences of irretractable involutive solutions, which the paper proves coincide with the latin solutions.

If this is right

  • Irretractable solutions in the class are necessarily latin solutions.
  • Simple solutions whose permutation group is nilpotent admit a concrete characterization.
  • When the displacement group is abelian and normal, the structure is captured by the First Weyl Algebra.
  • All simple solutions of size p^p are enumerated and classified for any prime p.

Where Pith is reading between the lines

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

  • The classification at size p^p supplies a finite list that can be checked directly for small primes to test consistency with the general description.
  • The link to left quasigroups opens the possibility of translating the results into statements about multiplication tables or isotopisms.
  • The Weyl-algebra description may allow explicit matrix or operator realizations of the corresponding solutions.

Load-bearing premise

The objects under study are involutive non-degenerate set-theoretic solutions of the Yang-Baxter equation whose displacement group is regular.

What would settle it

An explicit involutive non-degenerate solution with regular displacement group whose irretractable quotient fails to be latin, or whose blocks of imprimitivity deviate from the claimed description, would falsify the main claims.

read the original abstract

In this paper, we study involutive non-degenerate set-theoretic solutions of the Yang-Baxter equation with regular displacement group. In particular, we completely describe the blocks of imprimitivity and the congruences of the irretractable ones, that we show belonging to the class of the latin solutions. Among these solutions, we characterise the simple ones having nilpotent permutation group. A more precise description involving the First Weyl Algebra will be provided when the displacement group is abelian and normal in the total permutation group, and we enumerate and classify the simple ones having minimal size $p^p$, for an arbitrary prime number $p$. Finally, we illustrate our results by some examples.

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

0 major / 2 minor

Summary. The paper studies involutive non-degenerate set-theoretic solutions of the Yang-Baxter equation whose displacement group is regular. It describes the blocks of imprimitivity and congruences of the irretractable members of this class (showing they are latin solutions), characterizes the simple ones whose permutation group is nilpotent, gives a description via the first Weyl algebra when the displacement group is abelian and normal in the total permutation group, and enumerates/classifies the simple examples of minimal order p^p for prime p, with illustrative examples.

Significance. If the internal results hold, the work supplies structural information (imprimitivity blocks, congruences, nilpotency conditions) and explicit classifications inside a well-defined subclass of involutive solutions. The minimal-order enumeration for p^p and the Weyl-algebra description are concrete contributions that may serve as test cases or building blocks for broader classification efforts in set-theoretic YBE solutions and related quasigroups.

minor comments (2)
  1. The abstract and introduction should explicitly state the standing assumption that the displacement group is regular at the first mention of the objects under study, rather than only in the title and later sections.
  2. Notation for the total permutation group versus the displacement group should be introduced once with a clear table or diagram relating the various groups (displacement, permutation, etc.) to avoid repeated re-definition.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our work and for recommending minor revision. No specific major comments or requested changes were provided in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper restricts attention at the outset to the standard, externally defined class of involutive non-degenerate set-theoretic solutions of the Yang-Baxter equation whose displacement group is regular. Within this class it proves that irretractable members are latin, describes their blocks of imprimitivity and congruences, characterizes the simple ones with nilpotent permutation group, and classifies the minimal-order examples of size p^p via explicit constructions involving the first Weyl algebra when the displacement group is abelian and normal. All steps are internal algebraic arguments on the given class; none reduce by definition, by fitted parameters renamed as predictions, or by load-bearing self-citation chains to the paper's own inputs. The enumerated objects are verified directly against the defining relations.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard definitions and theorems from group theory, quasigroup theory, and the existing literature on set-theoretic solutions to the Yang-Baxter equation; no new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • standard math Standard axioms and theorems of finite group theory (nilpotency, regularity of action, permutation groups)
    Invoked throughout the description of displacement and permutation groups.
  • domain assumption Standard definitions of involutive non-degenerate set-theoretic solutions and latin quasigroups
    The objects of study are defined using these established notions in the field.

pith-pipeline@v0.9.0 · 5643 in / 1277 out tokens · 25242 ms · 2026-05-23T06:27:20.622979+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

44 extracted references · 44 canonical work pages

  1. [1]

    Andruskiewitsch, M

    N. Andruskiewitsch, M. Gra˜ na, From racks to pointed Hopf alge bras, Adv. Math. 178 (2) (2003) 177–243. URL http://dx.doi.org/10.1016/S0001-8708(02)00071-3

    work page doi:10.1016/s0001-8708(02)00071-3 2003

  2. [2]

    Bachiller, F

    D. Bachiller, F. Ced´ o, E. Jespers, Solutions of the Yang–Baxte r equation associated with a left brace, J. Algebra 463 (2016) 80–102. URL https://doi.org/10.1016/j.jalgebra.2016.05.024

    work page doi:10.1016/j.jalgebra.2016.05.024 2016

  3. [3]

    Bachiller, F

    D. Bachiller, F. Ced´ o, E. Jespers, J. Okni´ nski, A family of irret ractable square-free solutions of the Yang-Baxter equation, Forum Math. 29 (6) (2017) 1291–1306. URL https://doi.org/10.1515/forum-2015-0240

    work page doi:10.1515/forum-2015-0240 2017

  4. [4]

    Bachiller P´ erez, Study of the algebraic structure of left bra ces and the Yang-Baxter equation, Universitat Aut` onoma de Barcelona, PhD Thesis, 2016

    D. Bachiller P´ erez, Study of the algebraic structure of left bra ces and the Yang-Baxter equation, Universitat Aut` onoma de Barcelona, PhD Thesis, 2016. URL https://ddd.uab.cat/record/165965

    work page 2016

  5. [5]

    R. J. Baxter, Partition function of the eight-vertex lattice mod el, Ann. Physics 70 (1972) 193–228. URL https://doi.org/10.1016/0003-4916(72)90335-1

    work page doi:10.1016/0003-4916(72)90335-1 1972

  6. [6]

    Bereczky, A

    ´A. Bereczky, A. Mar´ oti, On groups with every normal subgroup t ransitive or semiregular, J. Algebra 319 (4) (2008) 1733–1751. URL https://doi.org/10.1016/j.jalgebra.2007.10.014

    work page doi:10.1016/j.jalgebra.2007.10.014 2008

  7. [7]

    Bonatto, Medial and semimedial left quasigroups, J

    M. Bonatto, Medial and semimedial left quasigroups, J. Algebra A ppl. 21 (02) (2022) 2250021. URL https://doi.org/10.1142/S0219498822500219

    work page doi:10.1142/s0219498822500219 2022

  8. [8]

    Bonatto, Nilpotent left quasigroups, arXiv e-prints

    M. Bonatto, Nilpotent left quasigroups, arXiv e-prints. URL 10.48550/arXiv.2204.04448

    work page doi:10.48550/arxiv.2204.04448

  9. [9]

    Bonatto, M

    M. Bonatto, M. Kinyon, D. Stanovsk´ y, P. Vojtˇ echovsk´ y, Involutive latin solutions of the Yang-Baxter equation, J. Algebra 565 (2021) 128–159. URL https://doi.org/10.1016/j.jalgebra.2020.09.001

    work page doi:10.1016/j.jalgebra.2020.09.001 2021

  10. [10]

    Castelli, A characterization of finite simple set-theoretic solu tions of the Yang-Baxter equation, Proc

    M. Castelli, A characterization of finite simple set-theoretic solu tions of the Yang-Baxter equation, Proc. Amer. Math. Soc. 151 (2023) 5047–5057. URL http://dx.doi.org/10.1090/proc/16329

    work page doi:10.1090/proc/16329 2023

  11. [11]

    Castelli, On the indecomposable involutive solutions of the Yang -Baxter equation of finite primitive level, Publ

    M. Castelli, On the indecomposable involutive solutions of the Yang -Baxter equation of finite primitive level, Publ. Matem` atiques (in press). URL https://arxiv.org/pdf/2311.01114

    work page arXiv

  12. [12]

    Castelli, F

    M. Castelli, F. Catino, G. Pinto, Indecomposable involutive set-t heoretic solutions of the Yang-Baxter equation, J. Pure Appl. Algebra 220 (10) (2019) 4477–4493. URL https://doi.org/10.1016/j.jpaa.2019.01.017

    work page doi:10.1016/j.jpaa.2019.01.017 2019

  13. [13]

    Castelli, M

    M. Castelli, M. Mazzotta, P. Stefanelli, Simplicity of indecomposab le set-theoretic solutions of the Yang–Baxter equation, Forum Math. 34 (2) (2022) 531–546. URL https://doi.org/10.1515/forum-2021-0189

    work page doi:10.1515/forum-2021-0189 2022

  14. [14]

    Castelli, G

    M. Castelli, G. Pinto, W. Rump, On the indecomposable involutive se t-theoretic solutions of the Yang-Baxter equation of prime-power size, Comm. Algebra 48 (5) (2020) 1941–1 955. URL https://doi.org/10.1080/00927872.2019.1710163 23

    work page doi:10.1080/00927872.2019.1710163 2020

  15. [15]

    Braces and the Yang-Baxter equation

    F. Ced´ o, E. Jespers, J. Okni´ nski, Braces and the Yang-Ba xter equation, Comm. Math. Phys. 327 (1) (2014) 101–116. URL https://doi.org/10.1007/s00220-014-1935-y

    work page doi:10.1007/s00220-014-1935-y 2014

  16. [16]

    Ced´ o, E

    F. Ced´ o, E. Jespers, J. Okni´ nski, Primitive set-theoretic s olutions of the Yang–Baxter equation, Commu. Cont. Math. (2022) 2150105. URL https://doi.org/10.1142/S0219199721501054

    work page doi:10.1142/s0219199721501054 2022

  17. [17]

    Ced´ o, J

    F. Ced´ o, J. Okni´ nski, Constructing finite simple solutions of t he Yang-Baxter equation, Adv. Math. 391 (2021) 107968. URL http://dx.doi.org/10.1016/j.aim.2021.107968

    work page doi:10.1016/j.aim.2021.107968 2021

  18. [18]

    Ced´ o, J

    F. Ced´ o, J. Okni´ nski, Indecomposable solutions of the Yang –Baxter equation of square-free cardinality, Adv. Math. 430 (2023) 109221. URL http://dx.doi.org/10.1016/j.aim.2023.109221

    work page doi:10.1016/j.aim.2023.109221 2023

  19. [19]

    Ced´ o, J

    F. Ced´ o, J. Okni´ nski, Simple solutions of the Yang-Baxter equation of cardinality pn, arXiv preprint. URL https://arxiv.org/pdf/2407.07907

    work page arXiv

  20. [20]

    Ced´ o, J

    F. Ced´ o, J. Okni´ nski, New simple solutions of the Yang-Baxte r equation and solutions associated to simple left braces, J. Algebra 600 (2022) 125–151. URL https://doi.org/10.1016/j.jalgebra.2022.02.011

    work page doi:10.1016/j.jalgebra.2022.02.011 2022

  21. [21]

    Colazzo, E

    I. Colazzo, E. Jespers, L. Kubat, A. Van Antwerpen, Simple so lutions of the Yang-Baxter equation, arXiv preprint. URL https://arxiv.org/pdf/2312.09687

    work page arXiv

  22. [22]

    Dietzel, S

    C. Dietzel, S. Properzi, S. Trappeniers, Indecomposable involu tive set-theoretical solutions to the Yang–Baxter equation of size p2, Comm. Algebra (in press) (2024) 1–19. URL https://doi.org/10.1080/00927872.2024.2405024

    work page doi:10.1080/00927872.2024.2405024 2024

  23. [23]

    Dr´ apal, Group isotopes and a holomorphic action, Results

    A. Dr´ apal, Group isotopes and a holomorphic action, Results. M ath. 54 (2009) 253–272. URL https://doi.org/10.1007/s00025-009-0370-4

    work page doi:10.1007/s00025-009-0370-4 2009

  24. [24]

    V. G. Drinfel’d, On some unsolved problems in quantum group theo ry, in: Quantum groups (Leningrad, 1990), vol. 1510 of Lecture Notes in Math., Springer, Berlin, 1992, pp. 1–8 . URL https://doi.org/10.1007/BFb0101175

    work page doi:10.1007/bfb0101175 1990

  25. [25]

    Set-Theoretical So- lutions to the Quantum Yang-Baxter Equation

    P. Etingof, T. Schedler, A. Soloviev, Set-theoretical solution s to the Quantum Yang-Baxter equation, Duke Math. J. 100 (2) (1999) 169–209. URL http://doi.org/10.1215/S0012-7094-99-10007-X

    work page doi:10.1215/s0012-7094-99-10007-x 1999

  26. [26]

    Gateva-Ivanova, M

    T. Gateva-Ivanova, M. Van den Bergh, Semigroups of I-Type , J. Algebra 206 (1) (1998) 97–112. URL https://doi.org/10.1006/jabr.1997.7399

    work page doi:10.1006/jabr.1997.7399 1998

  27. [27]

    Guarnieri, L

    L. Guarnieri, L. Vendramin, Skew braces and the Yang-Baxter equation, Math. Comp. 86 (307) (2017) 2519–2534. URL https://doi.org/10.1090/mcom/3161

    work page doi:10.1090/mcom/3161 2017

  28. [28]

    (https://mathoverflow.net/users/494216/konstantin) , Simple modules of the Weyl algebra, MathOverflow, uRL:https://mathoverflow.net/q/484151 (version: 2024-12-15 )

    K. (https://mathoverflow.net/users/494216/konstantin) , Simple modules of the Weyl algebra, MathOverflow, uRL:https://mathoverflow.net/q/484151 (version: 2024-12-15 ). URL https://mathoverflow.net/q/484151

    work page 2024

  29. [29]

    Kanrar, (In)decomposability of finite solutions of the Yang- Baxter equation, Archiv Math

    A. Kanrar, (In)decomposability of finite solutions of the Yang- Baxter equation, Archiv Math. 122 (2) (2024) 155–161. URL https://doi.org/10.1007/s00013-023-01930-6 24

    work page doi:10.1007/s00013-023-01930-6 2024

  30. [30]

    Kanrar, W

    A. Kanrar, W. Rump, A decomposition problem for involutive solut ions to the yang-baxter equation, Bull. Belg. Math. Soc. Simon Stevin 31 ((5)) (2024) 688–702. URL 10.36045/j.bbms.240803

    work page doi:10.36045/j.bbms.240803 2024

  31. [31]

    C. E. Praeger, An O’Nan-Scott theorem for finite quasiprimitive permutation groups and an application to 2-arc transitive graphs, J. London Math. Society 2 (2) (1993) 227–239 . URL https://doi.org/10.1112/jlms/s2-47.2.227

    work page doi:10.1112/jlms/s2-47.2.227 1993

  32. [32]

    Ram ´ ırez, L

    S. Ram ´ ırez, L. Vendramin, Decomposition theorems for involut ive solutions to the Yang–Baxter equation, Int. Math. Res. Not. 2022 (22) (2022) 18078–18091. URL https://doi.org/10.1016/j.jcta.2023.105753

    work page doi:10.1016/j.jcta.2023.105753 2022

  33. [33]

    D. J. Robinson, A Course in the Theory of Groups, vol. 80, Sprin ger Science & Business Media, 2012. URL http://doi.org/10.1007/978-1-4419-8594-1

    work page doi:10.1007/978-1-4419-8594-1 2012

  34. [34]

    A Decomposition Theorem for Square-Free Unitary Solu- tions of the Quantum Yang-Baxter Equation

    W. Rump, A decomposition theorem for square-free unitary so lutions of the quantum Yang-Baxter equation, Adv. Math. 193 (2005) 40–55. URL https://doi.org/10.1016/j.aim.2004.03.019

    work page doi:10.1016/j.aim.2004.03.019 2005

  35. [35]

    Rump, Braces, radical rings, and the quantum Yang-Baxte r equation, J

    W. Rump, Braces, radical rings, and the quantum Yang-Baxte r equation, J. Algebra 307 (1) (2007) 153–170. URL https://doi.org/10.1016/j.jalgebra.2006.03.040

    work page doi:10.1016/j.jalgebra.2006.03.040 2007

  36. [36]

    Rump, Classification of cyclic braces, Journal Pure Appl

    W. Rump, Classification of cyclic braces, Journal Pure Appl. Alge bra 209 (3) (2007) 671–685. URL https://doi.org/10.1016/j.jpaa.2006.07.001

    work page doi:10.1016/j.jpaa.2006.07.001 2007

  37. [37]

    Rump, Classification of cyclic braces, II, Trans

    W. Rump, Classification of cyclic braces, II, Trans. Amer. Math . 372 (1) (2019) 305–328. URL https://doi.org/10.1090/TRAN%2F7569

    work page doi:10.1090/tran 2019

  38. [38]

    Rump, Classification of indecomposable involutive set-theore tic solutions to the Yang-Baxter equation, Forum Math

    W. Rump, Classification of indecomposable involutive set-theore tic solutions to the Yang-Baxter equation, Forum Math. 32 (4) (2020) 891–903. URL https://doi.org/10.1515/forum-2019-0274

    work page doi:10.1515/forum-2019-0274 2020

  39. [39]

    Rump, One-generator braces and indecomposable set-the oretic solutions to the Yang–Baxter equation, Proc

    W. Rump, One-generator braces and indecomposable set-the oretic solutions to the Yang–Baxter equation, Proc. Edinb. Math. Soc. (2020) 1–21. URL https://doi.org/10.1017/S0013091520000073

    work page doi:10.1017/s0013091520000073 2020

  40. [40]

    Rump, Classification of non-degenerate involutive set-theo retic solutions to the Yang-Baxter equation with multipermutation level two, Algebr

    W. Rump, Classification of non-degenerate involutive set-theo retic solutions to the Yang-Baxter equation with multipermutation level two, Algebr. Represent. Theory 25 (5) (20 22) 1293–1307. URL https://doi.org/10.1007/s10468-021-10067-5

    work page doi:10.1007/s10468-021-10067-5

  41. [41]

    Rump, Primes in coverings of indecomposable involutuve set-t heoretic solutions of the Yang-Baxter equation, Bull

    W. Rump, Primes in coverings of indecomposable involutuve set-t heoretic solutions of the Yang-Baxter equation, Bull. Belg. Math. Soc. Simon Stevin 30 (2). URL https://doi.org/10.36045/j.bbms.230429

    work page doi:10.36045/j.bbms.230429

  42. [42]

    Vendramin, Extensions of set-theoretic solutions of the Ya ng-Baxter equation and a conjecture of Gateva- Ivanova, J

    L. Vendramin, Extensions of set-theoretic solutions of the Ya ng-Baxter equation and a conjecture of Gateva- Ivanova, J. Pure Appl. Algebra 220 (2016) 2064–2076. URL https://doi.org/10.1142/S1005386716000183

    work page doi:10.1142/s1005386716000183 2016

  43. [43]

    Vendramin, A

    L. Vendramin, A. Konovalov, Combinatorial Solutions for the Ya ng-Baxter equation, Version 0.9.0 (GAP package YangBaxter) (2019). URL https://gap-packages.github.io/YangBaxter

    work page 2019

  44. [44]

    C. N. Yang, Some Exact Results for the Many-Body Problem in on e Dimension with Repulsive Delta-Function Interaction, Phys. Rev. Lett. 19 (1967) 1312–1315. URL https://link.aps.org/doi/10.1103/PhysRevLett.19.1312 25

    work page doi:10.1103/physrevlett.19.1312 1967