The Lyapin's notebook: a collection of unsolved problems in Semigroup Theory
Pith reviewed 2026-05-10 19:20 UTC · model grok-4.3
The pith
A curated notebook assembles selected unsolved problems across major directions in semigroup theory.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The authors present a selected compilation of unsolved problems drawn from contemporary research in semigroup theory, grouped under headings that cover embeddability and potential properties, structural and finiteness questions in varieties, endomorphisms, decidability of classes of finite semigroups and groups, power semigroups, inclusive varieties, and partial groupoids.
What carries the argument
Lyapin's notebook, a curated list of open problems organized by research direction to outline current challenges in the algebraic theory of semigroups.
If this is right
- Advances on embeddability problems would clarify which abstract semigroups arise as concrete algebraic structures.
- Resolution of finiteness conditions would determine the possible structures within varieties of semigroups.
- Progress on endomorphism questions would reveal more about the symmetry and mapping properties of semigroup operations.
- Classifying solvable classes would settle decidability issues for finite semigroups and related groups.
- Work on power semigroups and partial groupoids would connect different constructions of algebraic systems.
Where Pith is reading between the lines
- The notebook format could be extended into a living database that tracks which listed problems receive solutions over time.
- Some problems on partial groupoids may link to questions in formal language theory and automata.
- Computer-assisted searches could be applied to the finite cases among the solvable-class problems.
- Cross-connections between embeddability and power-semigroup questions might yield new embedding theorems not yet stated.
Load-bearing premise
The problems chosen are accurately described as unsolved and representative of active research areas at the time the collection was assembled.
What would settle it
Publication of a complete solution to any one of the specific problems listed would show that the notebook no longer fully captures the set of unsolved questions in those directions.
read the original abstract
This collection presents a selected set of unsolved problems in semigroup theory, a fundamental branch of modern algebra. The publication is dedicated to the 110th anniversary of the birth of E. S. Lyapin, one of the founders of the field and the author of the world's first monograph on semigroups. The collection covers several major directions of contemporary research: potential properties and embeddability of semigroups; structural problems and finiteness conditions in varieties; endomorphisms; solvable and unsolvable classes of finite semigroups and groups; power semigroups; inclusive varieties; and the theory of partial groupoids. It serves both as a tribute to Lyapin's memory and as a roadmap for current and future research in algebraic systems.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript compiles a selected collection of unsolved problems in semigroup theory, organized by major contemporary research directions: potential properties and embeddability; structural problems and finiteness conditions in varieties; endomorphisms; solvable and unsolvable classes of finite semigroups and groups; power semigroups; inclusive varieties; and partial groupoids. It is explicitly dedicated to the 110th anniversary of E. S. Lyapin and positions itself as both a historical tribute and a research roadmap.
Significance. If the listed problems are accurately described as open and representative, the collection performs a useful service by consolidating open questions across key subfields of semigroup theory. The paper advances no new theorems or derivations; its value lies in curation, historical framing, and the breadth of directions covered. This type of problem list can help focus community effort, especially when tied to the legacy of a founder like Lyapin.
minor comments (2)
- The abstract and introduction could include a brief statement on the selection criteria or total number of problems to help readers gauge scope and completeness.
- Each problem statement should be accompanied by at least one key reference or citation to the relevant literature so that readers can immediately locate background material.
Simulated Author's Rebuttal
We thank the referee for the positive assessment of the manuscript, the recognition of its role as both a tribute to E. S. Lyapin and a research roadmap, and the recommendation to accept.
Circularity Check
No circularity: open-problem list with no derivations
full rationale
The manuscript is a curated collection of unsolved problems in semigroup theory. It contains no equations, no fitted parameters, no predictions, and no derivation chains. The central claim is simply that the listed questions remain open in the literature; verification of that status is external to the paper. No self-citation is used to justify any mathematical step, and no ansatz or uniqueness theorem is invoked. The document is therefore self-contained against external benchmarks with zero internal circularity.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
Trevor EvansSome connections between residual finiteness, finite embeddability and the word prob- lem”Journal of the London Mathematical Society, Volume s2-1, Issue 1, 1969, Pages 399–403 THE LYAPIN’S NOTEBOOK: A COLLECTION OF UNSOL VED PROBLEMS IN SEMIGROUP THEORY 19
work page 1969
-
[2]
O.M. Gornostaev,Quasivarieties of models embeddable in semigroups, Manuscript No.1812-82, de- posite at VINITI,1982, 26 pp, (in Russian)
work page 1982
-
[3]
O.M. Gornostaev,Quasivarieties generated by classes of models, Manuscript No.2206-85, deposite at VINITI,1985, 10 pp (in Russian), Sib.Mat. Zh.,1985
work page 1985
-
[4]
T. Hall, S. Kublanovskii, S. Margolis, M. Sapir, and P.G. Trotter,Decidable and undecidable problems related to finite 0-simple semigroups, J. Pure Appl. Algebra, 119 (1997), 75–96
work page 1997
-
[5]
S. Kublanovsky and M. Sapir,Potential divisibility in finite semigroups is undecidable, Internat. J. Algebra Comput.,1997,671-680 ,
work page 1997
-
[6]
S.I. Kublanovsky,Decidable and undeciable problems related to completely 0-simple semigroups, In: Kublanovsky, S., Mikhalev, A., Ponizovskii, J. (eds.) Semigroups with Applications, Including Semigroup Rings, de Gruyter, Berlin (1998), pp. 125–141
work page 1998
-
[7]
E. S. Lyapin, A. E. Evseev,The theory of partial algebraic operations, Mathematics and its Appli- cations, 414. Kluwer Academic Publishers Group, Dordrecht, 1997. x+235 pp
work page 1997
-
[8]
E. S. Lyapin,Some endomorphisms of ordered sets, Izv. Vuzov. Mat., 2, 1962, 87 – 94
work page 1962
-
[9]
E. S. Lyapin,Semigroups of directed transformations of ordered sets, Mat. Sbornik, 74, 1967, 39 – 46
work page 1967
-
[10]
E. S. Lyapin,Directed endomorphisms of odered sets, Sib.Mat. Zh., 11, 1970, 217 – 221
work page 1970
-
[11]
E. S. Lyapin,An abstract characteristic of one class of partial groupoids of transformations, Izv. Vuzov. Mat., 6, 1982, 30
work page 1982
-
[12]
E. S. Lyapin,On the inner extension of partial operations to total associativity, Izv. Vuzov. Mat., 7, 1982, 40 – 44
work page 1982
-
[13]
Malcev,Algebraic systems, Springer-Verlag, New York-Heidelberg, 1973, xii+317 pp
A.I. Malcev,Algebraic systems, Springer-Verlag, New York-Heidelberg, 1973, xii+317 pp
work page 1973
-
[14]
G. Mashevitzky,Nonelementary inclusive varieties of groups and semigroups, Algebra Universalis, 2025, 86:14 Short biography of Evgeniy Sergeevich Lyapin ”Cast your bread upon the waters, for you will find it after many days.” - Ecclesiastes 11:1 Evgeniy Sergeevich Lyapin was an outstanding Russian mathematician, one of the pio- neers of the algebraic theo...
work page 2025
-
[15]
He stated that the success of science requires the advancement of new ideas
At that meeting all those accused remained silent except Lyapin. He stated that the success of science requires the advancement of new ideas. Although history proved him right, at that time he was dismissed from Leningrad University for defending his right to work on semigroup theory. He subsequently continued his work at the Herzen State Pedagogical Univ...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.