2010/09/13 by Sergey Bakulin, Bakulin, Sergey
Computer Science · Mathematics · #20M07 #Advanced Algebra and Logic #FOS: Mathematics #Geometric and Algebraic Topology #Group Theory (math.GR) #math.GR #msc:20M07 #semigroups and automata theory
paper · pdf · doi:10.48550/arxiv.1009.2337
arxiv created 2010/09/13 · openalex publication_date 2010/09/13 · arxiv updated 2010/09/14 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
A semigroup variety is said to be a Rees-Sushkevich variety if it is contained in a periodic variety generated by 0-simple semigroups. S. I. Kublanovsky has proven that a variety V is a Rees-Sushkevich variety if and only it does not contain any of special finite semigroups. These semigroups are called indicator Burnside semigroups. It is shown that indicator Burnside semigroups have polynomially decidable equational theory. Also it is shown that each indicator Burnside semigroups generate a finitely based variety.