Skip to content
DraconiticResearch
Search Sources API
186,086 studies31 sourcesUpdated 2 min ago
PreprintCC BY 4.0arXiv

Lattice of 456 semigroup varieties from equations of order up to 4

  • Bruno Le Floch
Open at sourcePDFDOICite

Abstract

We consider the 653 equational laws of order up to 4 for an associative binary operation, and all of their conjunctions. We determine that there are only 456 equivalence classes of such conjunctions (associative equational theories), and find all implications between them. The conjunction operation makes this set of theories into a semi-lattice. These results are formalized in Lean. This is a semigroup analogue of the Equational Theories Project, but extended to conjunctions of equations.

Related

  1. A semigroup approach for rough partial differential equations with jumps
    Alexandra Blessing Neamţu, Hongjun Gao, Haoyuan Li
    arXivPreprintarXiv licenceFull textAnalysis & PDEsDynamical systemsarXiv
  2. A weighted semigroup approach to exponential stability in linear parabolic equations
    Haesung Lee
    arXivPreprintarXiv licenceFull textAnalysis & PDEsProbabilityarXiv
  3. Semigroup Criteria for Blow-up and Global Existence of Semilinear Heat Equations on Metric Measure Spaces
    Giulia Meglioli, Fabio Punzo
    arXivPreprintarXiv licenceFull textAnalysis & PDEsarXiv
  4. Monomial Moving Zeros for the Heat Semigroup: An Explicit Finite-Order Differential Hierarchy
    Gerardo Hernandez-del-Valle
    arXivPreprintCC BY-NC-ND 4.0Full textAnalysis & PDEsarXiv
  5. The lattice of varieties of semigroups with completely regular square. II
    T. A. Ershova, M. V. Volkov
    arXivPreprintarXiv licenceFull textAlgebra & number theoryarXiv

Cite

BibTeXRIS
BibTeX
@misc{floch2026lattice,
  title = {{Lattice of 456 semigroup varieties from equations of order up to 4}},
  author = {Bruno Le Floch},
  howpublished = {arXiv},
  year = {2026},
  month = sep,
  doi = {10.48550/arxiv.2609.39872},
  eprint = {2609.39872},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2609.39872},
  note = {CC BY 4.0},
}
RIS
TY  - UNPB
TI  - Lattice of 456 semigroup varieties from equations of order up to 4
AU  - Bruno Le Floch
PY  - 2026
DA  - 2026/09/30
PB  - arXiv
DO  - 10.48550/arxiv.2609.39872
UR  - https://arxiv.org/abs/2609.39872
AB  - We consider the 653 equational laws of order up to 4 for an associative binary operation, and all of their conjunctions. We determine that there are only 456 equivalence classes of such conjunctions (associative equational theories), and find all implications between them. The conjunction operation makes this set of theories into a semi-lattice. These results are formalized in Lean. This is a semigroup analogue of the Equational Theories Project, but extended to conjunctions of equations.
ER  -