Identity bases for finite cyclic semigroups
We provide explicit identity bases for finite cyclic semigroups.
Source author record
Mikhail V. Volkov
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
ResearcherUnclaimed source record
Catalog footprint
Research overview
10works
4topics
4close collaborators
Published work
10 publications
preprint2026arXiv
List of Results on the Černý Conjecture and Reset Thresholds for Synchronizing Automata
We survey results in the literature that establish the Černý conjecture for various classes of finite automata. We also list classes for which the conjecture remains open, but a quadratic (in the number of states) upper bound on the minimum length of reset words is known. The results presented reflect the state of the art as of January 13, 2026.
Open access
preprint2023arXiv
Catalan monoids inherently nonfinitely based relative to finite R-trivial semigroups
We show that the 42-element monoid of all partial order preserving and extensive injections on the 4-element chain is not contained in any variety generated by a finitely based finite R-trivial semigroup. This provides unified proofs for several known facts and leads to a bunch of new results on the Finite Basis Problem for finite R- and J-trivial semigroups.
Open access
preprint2022arXiv
Binary completely reachable automata
We characterize complete deterministic finite automata with two input letters in which every non-empty set of states occurs as the image of the whole state set under the action of a suitable input word. The characterization leads to a polynomial-time algorithm for recognizing this class of automata.
Open access
preprint2022arXiv
Completely reachable automata: an interplay between automata, graphs, and trees
A deterministic finite automaton in which every non-empty set of states occurs as the image of the whole state set under the action of a suitable input word is called completely reachable. We characterize such automata in terms of graphs and trees.
Open access
preprint2022arXiv
Identities of the stylic monoid
We observe that for each n≥2, the identities of the stylic monoid with n generators coincide with the identities of n-generated monoids from other distinguished series of J-trivial monoids studied in the literature, e.g., Catalan monoids and Kiselman monoids. This solves the Finite Basis Problem for stylic monoids.
Open access
preprint2013arXiv
Primitive digraphs with large exponents and slowly synchronizing automata
We present several infinite series of synchronizing automata for which the minimum length of reset words is close to the square of the number of states. All these automata are tightly related to primitive digraphs with large exponent.
Open access
preprint2013arXiv
Unary enhancements of inherently nonfinitely based semigroups
We exhibit a simple condition under which a finite involutary semigroup whose semigroup reduct is inherently nonfinitely based is also inherently nonfinitely based as a unary semigroup. As applications, we get already known as well as new examples of inherently nonfinitely based involutory semigroups. We also show that for finite regular semigroups, our condition is not only sufficient but also necessary for the property of being inherently nonfinitely based to persist. This leads to an algorithmic description of regular inherently nonfinitely based involutory semigroups.
Open access
preprint2010arXiv
A minimal nonfinitely based semigroup whose variety is polynomially recognizable
We exhibit a 6-element semigroup that has no finite identity basis but nevertheless generates a variety whose finite membership problem admits a polynomial algorithm.
Open access
preprint2010arXiv
Slowly synchronizing automata and digraphs
We present several infinite series of synchronizing automata for which the minimum length of reset words is close to the square of the number of states. These automata are closely related to primitive digraphs with large exponent.
Open access
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.