The q-theory of Finite Semigroups

Discoveries in finite semigroups have influenced several mathematical fields, including theoretical computer science, tropical algebra via matrix theory with coefficients in semirings, and other areas of modern algebra. This comprehensive, encyclopedic text will provide the reader - from the graduate student to the researcher/practitioner with a detailed understanding of modern finite semigroup theory, focusing in particular on advanced topics on the cutting edge of research. Key features: (1) Develops q-theory, a new theory that provides a unifying approach to finite semigroup theory via quantization; (2) Contains the only contemporary exposition of the complete theory of the complexity of finite semigroups; (3) Introduces spectral theory into finite semigroup theory; (4) Develops the theory of profinite semigroups from first principles, making connections with spectra of Boolean algebras of regular languages; (5) Presents over 70 research problems, most new, and hundreds of exercises. Additional features: (1) For newcomers, an appendix on elementary finite semigroup theory; (2) Extensive bibliography and index. The q-theory of Finite Semigroups presents important techniques and results, many for the first time in book form, and thereby updates and modernizes the literature of semigroup theory.

[1]  José Carlos Costa,et al.  Free Profinite Semigroups Over Some Classes of Semigroups Locally in D(G) , 2000, Int. J. Algebra Comput..

[2]  Benjamin Steinberg.  Inverse automata and profinite topologies on a free group , 2002 .

[3]  Jean-Eric Pin.  BG = PG: A Success Story , 1995 .

[4]  Ronald L. Graham.  On finite 0-simple semigroups and graph theory , 2005, Mathematical systems theory.

[5]  M. Stone.  Applications of the theory of Boolean rings to general topology , 1937 .

[6]  Stanley Burris,et al.  A course in universal algebra , 1981, Graduate texts in mathematics.

[7]  Jean-Eric Pin,et al.  Power monoids and finiteJ-trivial monoids , 1984 .

[8]  J. Conway.  Regular algebra and finite machines , 1971 .

[9]  S C Kleene,et al.  Representation of Events in Nerve Nets and Finite Automata , 1951 .

[10]  D. Lascar,et al.  Extending partial automorphisms and the profinite topology on free groups , 1999 .

[11]  Mohan S. Putcha,et al.  Complex Representations of Finite Monoids , 1996 .

[12]  Manuel Delgado,et al.  On Semigroups Whose Idempotent-Generated Subsemigroup is Aperiodic , 2004, Int. J. Algebra Comput..

[13]  Karl Auinger,et al.  Constructing divisions into power groups , 2005, Theor. Comput. Sci..

[14]  Pascal Weil,et al.  Closure of Varieties of Languages under Products with Counter , 1992, J. Comput. Syst. Sci..

[15]  Samuel Eilenberg,et al.  Automata, languages, and machines. A , 1974, Pure and applied mathematics.

[16]  Mark Sapir,et al.  PROBLEMS OF BURNSIDE TYPE AND THE FINITE BASIS PROPERTY IN VARIETIES OF SEMIGROUPS , 1988 .

[17]  P. Gabriel.  Unzerlegbare Darstellungen I , 1972 .

[18]  Katsumi Numakura,et al.  Theorems on compact totally disconnected semigroups and lattices , 1957 .

[19]  Imre Simon,et al.  Limited subsets of a free monoid , 1978, 19th Annual Symposium on Foundations of Computer Science (sfcs 1978).

[20]  Semigroups generated by a group and an idempotent , 1998 .

[21]  J. Rhodes,et al.  Local Complexity of Finite Semigroups , 1976 .

[22]  Ralph McKenzie,et al.  Interpreting Graph Colorability in Finite Semigroups , 2006, Int. J. Algebra Comput..

[23]  Denis Thérien.  On the equationxt=xt+q in categories , 1988 .

[24]  Karl Auinger,et al.  On the extension problem for partial permutations , 2003 .

[25]  Yechezkel Zalcstein,et al.  Locally testable semigroups , 1972 .

[26]  Michael Vaughan-Lee,et al.  The Restricted Burnside Problem , 1990 .

[27]  Jorge Almeida,et al.  The Pseudovariety J is Hyperdecidable , 1997, RAIRO Theor. Informatics Appl..

[28]  Pedro Resende,et al.  Étale groupoids and their quantales , 2007 .

[29]  Ariane M. Masuda,et al.  SOLVING SYSTEMS OF EQUATIONS MODULO PSEUDOVARIETIES OF ABELIAN GROUPS AND HYPERDECIDABILITY , 2007 .

[30]  Daniel J. Kleitman,et al.  The number of semigroups of order n , 1976 .

[31]  Kenneth S. Brown.  Semigroup and Ring Theoretical Methods in Probability , 2003 .

[32]  Finite Semigroups Whose Varieties Have Uncountably Many Subvarieties , 2000 .

[33]  Pascal Weil,et al.  Polynomial closure and unambiguous product , 1995, Theory of Computing Systems.

[34]  Rita Gitik,et al.  On Separability Properties of Groups , 1995, Int. J. Algebra Comput..

[35]  J. E. Pin.  A topological approach to a conjecture of Rhodes , 1988, Bulletin of the Australian Mathematical Society.

[36]  Bret Tilson.  Type II Redux , 1987 .

[37]  A remark on varietes of lattices and semigroups , 1969 .

[38]  John L. Rhodes,et al.  Monoids Acting on Trees: Elliptic and wreath Products and the Holonomy Theorem for Arbitrary Monoids with Applications to Infinite Groups , 1991, Int. J. Algebra Comput..

[39]  Dg FitzGerald,et al.  On inverses of products of idempotents in regular semigroups , 1972, Journal of the Australian Mathematical Society.

[40]  Mikhail V. Volkov.  On a Class of Semigroup Pseudovarieties without Finite Pseudoidentity Basis , 1995, Int. J. Algebra Comput..

[41]  John Rhodes,et al.  Improved lower bounds for the complexity of finite semigroups , 1972 .

[42]  Jorge Almeida,et al.  On the Decidability of Iterated Semidirect Products with Applications to Complexity , 2000 .

[43]  John Rhodes,et al.  A reduction theorem for complexity of finite semigroups , 1975 .

[44]  Jorge Almeida,et al.  PROFINITE IDENTITIES FOR FINITE SEMIGROUPS WHOSE SUBGROUPS BELONG TO A GIVEN PSEUDOVARIETY , 2003, Journal of Algebra and Its Applications.

[45]  Jorge Almeida,et al.  Pseudovariety joins involving J -trivial semigroups and completely regular semigroups , 1999 .

[46]  Norman R. Reilly,et al.  Decomposition of the lattice of pseudovarieties of finite semigroups induced by bands , 2000 .

[47]  John L. Rhodes,et al.  Undecidability of the identity problem for finite semigroups , 1992, Journal of Symbolic Logic.

[48]  R. J. Koch,et al.  The theory of topological semigroups , 1986 .

[49]  Jean-Camille Birget,et al.  The Synthesis Theorem for finite regular semigroups, and its generalization , 1988 .

[50]  Bolyai János Matematikai Társulat,et al.  Algebraic theory of semigroups , 1979 .

[51]  Shirley Dex,et al.  JR 旅客販売総合システム（マルス）における運用及び管理について , 1991 .

[52]  J. Rhodes.  Characters and complexity of finite semigroups , 1969 .

[53]  H. Paul Zeiger.  Yet another proof of the cascade decomposition theorem for finite automata: Correction , 2005, Mathematical systems theory.

[54]  B. Huppert.  Endliche Gruppen I , 1967 .

[55]  Robert McNaughton,et al.  Regular Expressions and State Graphs for Automata , 1960, IRE Trans. Electron. Comput..

[56]  S. Lane,et al.  Sheaves In Geometry And Logic , 1992 .

[57]  Peter R. Jones,et al.  Local Varieties of Completely Regular Monoids , 1992 .

[58]  R. P. Hunter.  Certain Finitely Generated Compact Zero Dimensional Semigroups , 1988, Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics.

[59]  John L. Rhodes,et al.  Join Irreducible Pseudovarieties, Group Mapping, and Kovács-Newman Semigroups , 2004, LATIN.

[60]  T. E. Hall,et al.  Finite semigroups with commuting idempotents , 1987, Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics.

[61]  Jean-Eric Pin,et al.  ORDERED CATEGORIES AND ORDERED SEMIGROUPS , 2002 .

[62]  Michael A. Arbib,et al.  Algebraic theory of machines, languages and semigroups , 1969 .

[63]  Gillian Z. Elston.  Semigroup expansions using the derived category, kernel, and Malcev products , 1999 .

[64]  Howard Straubing,et al.  Monoids of upper-triangular matrices , 1981 .

[65]  Jorge Almeida,et al.  Finite Semigroups and Universal Algebra , 1995 .

[66]  M. Sapir.  On cross semigroup varieties and related questions , 1991 .

[67]  John L. Rhodes.  Proof of the Fundamental Lemma of Complexity (Strong Version) for Arbitrary Finite Semigroups , 1974, J. Comb. Theory, Ser. A.

[68]  Sunil Talwar,et al.  Strong Morita Equivalence and the Synthesis Theorem , 1996, Int. J. Algebra Comput..

[69]  Juris Hartmanis,et al.  Loop-Free Structure of Sequential Machines , 1962, Inf. Control..

[70]  Benjamin Steinberg,et al.  Inevitable Graphs and Profinite Topologies: Some Solutions to Algorithmic Problems in Monoid and Automata Theory, Stemming from Group Theory , 2001, Int. J. Algebra Comput..

[71]  Abhinav Shrestha.  CLASSIFICATION OF FINITE SIMPLE GROUPS , 2010 .

[72]  Klaus Keimel,et al.  Continuous Lattices and Domains: Preface , 2003 .

[73]  J. Rhodes.  Some results on finite semigroups , 1966 .

[74]  Christopher J. Ash,et al.  Inevitable Graphs: a Proof of the Type II Conjecture and some Related Decision Procedures , 1991, Int. J. Algebra Comput..

[75]  M. Lurdes Teixeira.  On semidirectly closed pseudovarieties of aperiodic semigroups , 2001 .

[76]  Jean-Eric Pin,et al.  SEMIDIRECT PRODUCTS OF ORDERED SEMIGROUPS , 2002 .

[77]  Semigroups whose idempotents form a subsemigroup , 1990, Bulletin of the Australian Mathematical Society.

[78]  Benjamin Steinberg.  Polynomial Closure and Topology , 2000, Int. J. Algebra Comput..

[79]  Pedro Resende,et al.  On quantales that classify C*-algebras ∗ , 2004 .

[80]  M. Schützenberger,et al.  Sur Le Produit De Concatenation Non Ambigu , 1976 .

[81]  Jorge Almeida.  On Direct Product Decompositions of Finite -Trivial Semigroups , 1991, Int. J. Algebra Comput..

[82]  Luis Ribes,et al.  On The Profinite Topology on a Free Group , 1993 .

[83]  Noam Chomsky,et al.  The Algebraic Theory of Context-Free Languages* , 1963 .

[84]  G. Lallement.  Semigroups and combinatorial applications , 1979 .

[85]  P. Halmos.  Lectures on Boolean Algebras , 1963 .

[86]  M. Kambites,et al.  Wreath product decompositions for triangular matrix semigroups , 2005, math/0512024.

[87]  S. Vovsi.  Triangular Products of Group Representations and Their Applications , 1981 .

[88]  John Rhodes,et al.  The fundamental lemma of complexity for arbitrary finite semigroups , 1968 .

[89]  Bret Tilson,et al.  Decomposition and complexity of finite semigroups , 1971 .

[90]  J. Rhodes.  Kernel systems—A global study of homomorphisms on finite semigroups , 1977 .

[91]  J. Rhodes.  Chapter 2. Axioms for complexity for all finite semigroups , 1973 .

[92]  Jean-Éric Pin,et al.  Syntactic Semigroups , 1997, Handbook of Formal Languages.

[93]  On the equation V G = EV , 2007 .

[94]  JORGE ALMEIDA,et al.  Tameness of the Pseudovariety of Abelian Groups , 2005, Int. J. Algebra Comput..

[95]  K. Hofmann,et al.  Elements of compact semigroups , 1966 .

[96]  S. Lane.  Categories for the Working Mathematician , 1971 .

[97]  P. Gomes Teixeira,et al.  Free Proonite Semigroups over Semidirect Products , 1995 .

[98]  Manuel Delgado,et al.  Combinatorial Group Theory, Inverse Monoids, Automata, And Global Semigroup Theory , 2002, Int. J. Algebra Comput..

[99]  R. Lyndon,et al.  Combinatorial Group Theory , 1977 .

[100]  Stuart W. Margolis,et al.  E-unitary inverse monoids and the Cayley graph of a group presentation , 1989 .

[101]  Benjamin Steinberg,et al.  Finite state automata: A geometric approach , 2001 .

[102]  Luis Ribes,et al.  The Pro-P Topology of a Free Group and Algorithmic Problems in Semigroups , 1994, Int. J. Algebra Comput..

[103]  Jorge Almeida,et al.  The equational theory of omega-terms for finite R-trivial semigroups , 2004 .

[104]  Karsten Henckell,et al.  Ash's Type II Theorem, Profinite Topology and Malcev Products: Part I , 1991, Int. J. Algebra Comput..

[105]  B. Sturmfels,et al.  First steps in tropical geometry , 2003, math/0306366.

[106]  J. Rhodes.  Finite binary relations have no more complexity than finite functions , 1974 .

[107]  H. Neumann.  Varieties of Groups , 1967 .

[108]  Gerard Lallement,et al.  Augmentations and wreath products of monoids , 1980 .

[109]  Bertrand Le Saëc,et al.  Semigroups with Idempotent stabilizers and Applications to Automata Theory , 1991, Int. J. Algebra Comput..

[110]  Karsten Henckell,et al.  Aperiodic Pointlikes and Beyond , 2007, Int. J. Algebra Comput..

[111]  Marcel Paul Schützenberger,et al.  On Finite Monoids Having Only Trivial Subgroups , 1965, Inf. Control..

[112]  Mario Petrich,et al.  Inverse semigroups , 1985 .

[113]  Chrystopher L. Nehaniv.  Monoids and Groups Acting on Trees: Characterizations, Gluing, and Applications of the Depth Preserving Actions , 1995, Int. J. Algebra Comput..

[114]  Karl Auinger.  A New Proof of The Rhodes Type II Conjecture , 2004, Int. J. Algebra Comput..

[115]  Denis Thérien,et al.  Two-sided wreath product of categories , 1991 .

[116]  Jean-Eric Pin,et al.  A conjecture on the Hall topology for the free group , 1991 .

[117]  I. Anderson,et al.  Graphs and Networks , 1981, The Mathematical Gazette.

[118]  Jean-Éric Pin,et al.  Algebraic tools for the concatenation product , 2003, Theor. Comput. Sci..

[119]  Janusz A. Brzozowski,et al.  Dot-Depth of Star-Free Events , 1971, Journal of computer and system sciences (Print).

[120]  Karsten Henckell,et al.  Stable Pairs , 2010, Int. J. Algebra Comput..

[121]  D. Mcalister.  Regular semigroups, fundamental semigroups and groups , 1980, Journal of the Australian Mathematical Society.

[122]  D. Mcalister.  Groups, semilattices and inverse semigroups. II , 1974 .

[123]  Cross varieties of groups , 1966, Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences.

[124]  Howard Straubing,et al.  Families of recognizable sets corresponding to certain varieties of finite monoids , 1979 .

[125]  Jorge Almeida,et al.  Implicit operations on finite J-trivial semigroups and a conjecture of I. Simon , 1991 .

[126]  Benjamin Steinberg,et al.  Categories as Algebra, II , 2003, Int. J. Algebra Comput..

[127]  R. Wilson,et al.  A Characterization of Finite Soluble Groups by Laws in Two Variables , 2005 .

[128]  Raymond E. Miller,et al.  Varieties of Formal Languages , 1986 .

[129]  Jorge Almeida,et al.  Subword Complexity of Profinite Words and Subgroups of Free Profinite Semigroups , 2006, Int. J. Algebra Comput..

[130]  J. Rhodes,et al.  Complexity of Finite Semigroups , 1968 .

[131]  R. McNaughton,et al.  Counter-Free Automata , 1971 .

[132]  Mark V. Sapir,et al.  Algorithmic Problems in Varieties , 1995, Int. J. Algebra Comput..

[133]  J. A. Green,et al.  On the Structure of Semigroups , 1951 .

[134]  B. Steinberg,et al.  The geometry of profinite graphs with applications to free groups and finite monoids , 2003 .

[135]  Christophe Reutenauer.  N-Rationality of Zeta Functions , 1997 .

[136]  J. Howie,et al.  The Subsemigroup Generated By the Idempotents of a Full Transformation Semigroup , 1966 .

[137]  U. Hebisch,et al.  Semirings: Algebraic Theory and Applications in Computer Science , 1998 .

[138]  THE FINITE BASIS PROBLEM FOR FINITE SEMIGROUPS , 2001 .

[139]  Howard Straubing,et al.  Locally trivial categories and unambiguous concatenation , 1988 .

[140]  K. Nambooripad.  Structure of regular semigroups , 1979 .

[141]  Arto Salomaa,et al.  Automata-Theoretic Aspects of Formal Power Series , 1978, Texts and Monographs in Computer Science.

[142]  A. Kechris.  Classical descriptive set theory , 1987 .

[143]  RICHARD MATEOSIAN,et al.  Methods of the Algebraic Theory of Machines. I: Decomposition Theorem for Generalized Machines; Properties Preserved under Series and Parallel Compositions of Machines , 1967, J. Comput. Syst. Sci..

[144]  D. Rees,et al.  On semi-groups , 1940, Mathematical Proceedings of the Cambridge Philosophical Society.

[145]  Jorge Almeida,et al.  Tameness of Some Locally Trivial Pseudovarieties , 2003 .

[146]  José Carlos Costa,et al.  Free profinite locally idempotent and locally commutative semigroups , 2001 .

[147]  A constructive version of the Ribes-Zalesski product theorem , 2005 .

[148]  Jan Reiterman,et al.  The Birkhoff theorem for finite algebras , 1982 .

[149]  M. Sapir.  Inherently Nonfinitely Based Finite Semigroups , 1988 .

[150]  Bret Tilson,et al.  Chapter XII Complexity of Semigroups and Morphisms , 1974 .

[151]  P. Edwards.  Eventually regular semigroups , 1983, Bulletin of the Australian Mathematical Society.

[152]  S. Margolis,et al.  CHARACTERIZATION OF GROUP RADICALS WITH AN APPLICATION TO MAL'CEV PRODUCTS , 2010 .

[153]  Pascal Weil,et al.  Free Profinite ℛ-Trivial Monoids , 1997, Int. J. Algebra Comput..

[154]  D. Gorenstein,et al.  The Classification of the Finite Simple Groups , 1983 .

[155]  Li Jin-q,et al.  Hopf algebras , 2019, Graduate Studies in Mathematics.

[156]  Howard Straubing,et al.  Aperiodic homomorphisms and the concatenation product of recognizable sets , 1979 .

[157]  Idempotents in completely 0-simple semigroups , 1978 .

[158]  Karsten Henckell.  Idempotent Pointlike Sets , 2004, Int. J. Algebra Comput..

[159]  M. Loganathan.  Cohomology of inverse semigroups , 1981 .

[160]  Jorge Almeida.  A Syntactical Proof of Locality of da , 1996, Int. J. Algebra Comput..

[161]  J. Howie.  Fundamentals of semigroup theory , 1995 .

[162]  K. I. Rosenthal.  Quantales and their applications , 1990 .

[163]  W. Arveson.  An Invitation To C*-Algebras , 1976 .

[164]  M. S. Putcha.  Semigroups and weights for group representations , 2000 .

[165]  Chrystopher L. Nehaniv.  Cascade Decomposition of Arbitrary Semigroups , 1995 .

[166]  Pascal Weil.  Products of Languages with Counter , 1990, Theor. Comput. Sci..

[167]  John Rhodes,et al.  Decidability of complexity one-half for finite semigroups , 1982 .

[168]  Dominique Perrin,et al.  Finite Automata , 1958, Philosophy.

[169]  J. Almeida.  Profinite groups associated with weakly primitive substitutions , 2007 .

[170]  Benjamin Steinberg.  SEMIDIRECT PRODUCTS OF CATEGORIES AND APPLICATIONS , 1999 .

[171]  Karsten Henckell,et al.  Prime decomposition theorem for arbitrary semigroups: general holonomy decomposition and synthesis theorem , 1988 .

[172]  D. Groves,et al.  Finite Groups of Bounded Exponent , 2003 .

[173]  On critical groups , 1966 .

[174]  Semilattice decompositions of semigroups , 1973 .

[175]  Jorge Almeida,et al.  On finitely based pseudovarieties of the forms V ∗ D and V ∗ Dn , 2000 .

[176]  Benjamin Steinberg,et al.  On Pointlike Sets and Joins of Pseudovarieties , 1998, Int. J. Algebra Comput..

[177]  Libor Polák.  Syntactic semiring and language equations , 2002, CIAA'02.

[178]  B. Tilson.  Chapter 3. Complexity of two-J class semigroups , 1973 .

[179]  Pascal Weil,et al.  Relatively Free Profinite Monoids: An Introduction and Examples , 1995 .

[180]  Mark V. Sapir,et al.  Closed Subgroups in Pro-V Topologies and the Extension Problem for Inverse Automata , 2001, Int. J. Algebra Comput..

[181]  Jorge Almeida,et al.  Representation theory of finite semigroups, semigroup radicals and formal language theory , 2008 .

[182]  S. Margolis,et al.  Algorithmic problems for finite groups and finite 0-simple semigroups , 1997 .

[183]  John L. Rhodes,et al.  A homomorphism theorem for finite semigroups , 1967, Mathematical systems theory.

[184]  Hecke Algebras and Semisimplicity of Monoid Algebras , 1999 .

[185]  Marcelo Aguiar,et al.  Coxeter Groups and Hopf Algebras , 2006 .

[186]  Jorge Almeida.  Hyperdecidable Pseudovarieties and the Calculation of Semidirect Products , 1999, Int. J. Algebra Comput..

[187]  B. Steinberg,et al.  Varieties of finite supersolvable groups with the M. Hall property , 2006 .

[188]  W. Munn.  Matrix representations of semigroups , 1957, Mathematical Proceedings of the Cambridge Philosophical Society.

[189]  I. Simon.  A short proof of the factorization forest theorem , 1992, Tree Automata and Languages.

[190]  P. Hanlon,et al.  A combinatorial description of the spectrum for the Tsetlin library and its generalization to hyperplane arrangements , 1999 .

[191]  M. Stone.  The theory of representations for Boolean algebras , 1936 .

[192]  Pedro Resende,et al.  Quantales, finite observations and strong bisimulation , 2001, Theor. Comput. Sci..

[193]  Benjamin Steinberg.  Monoid kernels and profinite topologies on the free Abelian group , 1999, Bulletin of the Australian Mathematical Society.

[194]  L. O'Carroll.  Inverse semigroups as extensions of semilattices , 1975, Glasgow Mathematical Journal.

[195]  Benjamin Steinberg,et al.  Profinite Semigroups, Varieties, Expansions and the Structure of Relatively Free Profinite Semigroups , 2001, Int. J. Algebra Comput..

[196]  Stuart W. Margolis,et al.  Inverse semigroups and varieties of finite semigroups , 1987 .

[197]  Tom C. Brown.  An interesting combinatorial method in the theory of locally finite semigroups. , 1971 .

[198]  E. Zelmanov.  SOLUTION OF THE RESTRICTED BURNSIDE PROBLEM FOR GROUPS OF ODD EXPONENT , 1991 .

[199]  K. Nambooripad,et al.  The natural partial order on a regular semigroup , 1980, Proceedings of the Edinburgh Mathematical Society.

[200]  S. Talwar.  Strong Morita Equivalence and a Generalisation of the Rees Theorem , 1996 .

[201]  S. W. MAROLIS,et al.  Inverse Semigroups and Extensions of Groups by Semilattices , 2003 .

[202]  Marcel Jackson,et al.  Finitely Based, Finite Sets of Words , 2000, Int. J. Algebra Comput..

[203]  W. D. Munn,et al.  On semigroup algebras , 1955, Mathematical Proceedings of the Cambridge Philosophical Society.

[204]  Benjamin Steinberg,et al.  Möbius functions and semigroup representation theory , 2006, J. Comb. Theory, Ser. A.

[205]  John Rhodes,et al.  The kernel of monoid morphisms , 1989 .

[206]  Bernhard Banaschewski,et al.  The Birkhoff Theorem for varieties of finite algebras , 1983 .

[207]  Jean-Eric Pin,et al.  Topologies for the free monoid , 1991 .

[208]  Every finite semigroup is embeddable in a finite relatively free semigroup , 2004 .

[209]  L. Polák.  A classification of rational languages by semilattice-orderedmonoids , 2004 .

[211]  Operators on the Lattice of Pseudovarieties of Finite Semigroups , 1998 .

[212]  John Rhodes,et al.  Lower bounds for complexity of finite semigroups , 1971 .

[213]  Jean-Camille Birget,et al.  Iteration of expansions — unambiguous semigroups , 1984 .

[214]  Howard Straubing,et al.  FINITE SEMIGROUP VARIETIES OF THE FORM V,D , 1985 .

[215]  The partially ordered set of allJ-classes of a finite semigroup , 1973 .

[216]  B. Steinberg.  A MODERN APPROACH TO SOME RESULTS OF STIFFLER , 2004 .

[217]  John Rhodes,et al.  Algebraic theory of finite semigroups , 1970 .

[218]  John R. Stallings,et al.  Topology of finite graphs , 1983 .

[219]  E I Zel'manov,et al.  A SOLUTION OF THE RESTRICTED BURNSIDE PROBLEM FOR 2-GROUPS , 1992 .

[220]  Jean-Camille Birget,et al.  Almost finite expansions of arbitrary semigroups , 1984 .

[221]  Benjamin Steinberg,et al.  A delay theorem for pointlikes , 2001 .

[222]  S. Margolis,et al.  Expansions, free inverse semigroups, and Schützenberger product , 1987 .

[223]  P. Gabriel,et al.  Representations of Finite-Dimensional Algebras , 1992 .

[224]  D. Mcalister.  Representations of semigroups by linear transformations , 1971 .

[225]  Anton Suschkewitsch,et al.  Über die endlichen Gruppen ohne das Gesetz der eindeutigen Umkehrbarkeit , 1928 .

[226]  John L. Rhodes,et al.  Pointlike Sets, Hyperdecidability and the Identity Problem for Finite Semigroups , 1999, Int. J. Algebra Comput..

[227]  D. Quillen,et al.  Higher algebraic K-theory: I , 1973 .

[228]  L. Scott,et al.  Finite dimensional algebras and highest weight categories. , 1988 .

[229]  Yechezkel Zalcstein.  Group-complexity and reversals of finite semigroups , 2005, Mathematical systems theory.

[230]  Gilbert Baumslag,et al.  Wreath products and extensions , 1963 .

[231]  Mikhail V. Volkov,et al.  The finite basis problem in the pseudovariety joins of aperiodic semigroups with groups , 1996 .

[232]  Thierry Coulbois,et al.  Free Product, Profinite Topology and Finitely Generated Subgroups , 2001, Int. J. Algebra Comput..

[233]  Howard Straubing.  Finite Automata, Formal Logic, and Circuit Complexity , 1994, Progress in Theoretical Computer Science.

[234]  R. McKenzie,et al.  Algebras, Lattices, Varieties , 1988 .

[235]  k-transformation semigroups and a conjecture of Tilson , 1980 .

[236]  T. Hall.  On regular semigroups , 1973 .

[237]  Mohan S. Putcha.  Products of idempotents in algebraic monoids , 2006, Journal of the Australian Mathematical Society.

[238]  B. Tilson.  Chapter XI Depth Decomposition Theorem , 1974 .

[239]  C. Houghton,et al.  Completely O-simple semigroups and their associated graphs and groups , 1977 .

[240]  Peter R. Jones.  Monoid varieties defined byxn+1=x are local , 1993 .

[241]  John L. Rhodes,et al.  Krohn-Rhodes complexity pseudovarieties are not finitely based , 2005, RAIRO Theor. Informatics Appl..

[242]  J. Pin,et al.  THE WREATH PRODUCT PRINCIPLE FOR ORDERED SEMIGROUPS , 2002 .

[243]  Jean Berstel,et al.  Rational series and their languages , 1988, EATCS monographs on theoretical computer science.

[244]  P. G. Trotter,et al.  Pseudovarieties, Regular Semigroups and Semidirect Products , 1998 .

[245]  Bret Tilson,et al.  Categories as algebra: An essential ingredient in the theory of monoids , 1987 .

[246]  Stuart W. Margolis,et al.  Free Inverse Monoids and Graph immersions , 1993, Int. J. Algebra Comput..

[247]  Edward F. Moore,et al.  Gedanken-Experiments on Sequential Machines , 1956 .

[248]  Peter R. Jones,et al.  Locality of DS and associated varieties , 1995 .

[249]  Jirí Rosický,et al.  On Quantales and Spectra of C*-Algebras , 2003, Appl. Categorical Struct..

[250]  Juris Hartmanis,et al.  Further Results on the Structure of Sequential Machines , 1963, JACM.

[251]  Boris I. Plotkin,et al.  Algebraic structures in automata and databases theory , 1992 .

[252]  Albert R. Meyer,et al.  A Note on Star-Free Events , 1969, JACM.

[253]  John L. Rhodes,et al.  Complexity Pseudovarieties Are not Local: Type Ii Subsemigroups Can Fall Arbitrarily in Complexity , 2006, Int. J. Algebra Comput..

[254]  M. S. Putcha.  Monoid Hecke algebras , 1997 .

[255]  G. Greuel,et al.  Identities for finite solvable groups and equations in finite simple groups , 2006, Compositio Mathematica.

[256]  Robert Knast.  Some Theorems on Graph Congruences , 1983, RAIRO Theor. Informatics Appl..

[257]  Mark Kambites,et al.  On the Krohn-rhodes Complexity of Semigroups of Upper Triangular Matrices , 2007, Int. J. Algebra Comput..

[258]  Peter M. Higgins,et al.  Techniques of semigroup theory , 1991 .

[259]  Ulrich Knauer,et al.  Monoids, acts, and categories , 2000 .

[260]  Pascal Weil,et al.  Profinite Methods in Semigroup Theory , 2002, Int. J. Algebra Comput..

[261]  Howard Straubing,et al.  Partially ordered finite monoids and a theorem of I , 1988 .

[262]  Reinhard Pöschel,et al.  Identities in full transformation semigroups , 1994 .

[263]  B. Steinberg.  On Aperiodic Relational Morphisms , 2005 .

[264]  Jorge Almeida,et al.  Syntactic and Global Semigroup Theory: A Synthesis Approach , 2000 .

[265]  J. Erdos.  On products of idempotent matrices , 1967, Glasgow Mathematical Journal.

[266]  Kenneth S. Brown,et al.  Semigroups, Rings, and Markov Chains , 2000 .

[267]  S. Margolis,et al.  On the Kurosh theorem and separability properties , 2003 .

[268]  Pascal Weil,et al.  Profinite categories and semidirect products , 1998 .

[269]  John L. Rhodes,et al.  Undecidability, Automata, and Pseudovarities of Finite Semigroups , 1999, Int. J. Algebra Comput..

[270]  B. Steinberg,et al.  On power groups and embedding theorems for relatively free profinite monoids , 2005, Mathematical Proceedings of the Cambridge Philosophical Society.

[271]  Volodymyr Nekrashevych,et al.  Self-Similar Groups , 2005, 2304.11232.

[272]  Marcel Jackson,et al.  Finite Semigroups with Infinite Irredundant Identity Bases , 2005, Int. J. Algebra Comput..

[273]  Libor Polák.  Syntactic Semiring and Universal Automaton , 2003, Developments in Language Theory.

[274]  Peter R. Jones.  Profinite categories, implicit operations and pseudovarieties of categories , 1996 .

[275]  S. Margolis,et al.  Expansions of inverse semigroups , 2006, Journal of the Australian Mathematical Society.

[276]  Robert McNaughton,et al.  Algebraic decision procedures for local testability , 1974, Mathematical systems theory.

[277]  Howard Straubing,et al.  On Logical Descriptions of Regular Languages , 2002, LATIN.

[278]  Yechezkel Zalcstein,et al.  Locally Testable Languages , 1972, J. Comput. Syst. Sci..

[279]  Janusz A. Brzozowski,et al.  Characterizations of locally testable events , 1973, Discret. Math..

[280]  Michael W. Mislove,et al.  The Pontryagin Duality of Compact O-Dimensional Semilattices and Its Applications , 1974 .

[281]  Jorge Almeida,et al.  Dynamics of implicit operations and tameness of pseudovarieties of groups , 2001 .

[282]  Toward Homological Characterization of Semirings: Serre’s Conjecture and Bass’s Perfectness in a Semiring Context , 2005 .

[283]  A. H. Clifford,et al.  Matrix Representations of Completely Simple Semigroups , 1942 .

[284]  Separable subsets of GFERF negatively curved groups , 2005, math/0502101.

[285]  Karl Auinger,et al.  Congruences on the Lattice of Pseudovarieties of Finite Semigroups , 1997, Int. J. Algebra Comput..

[286]  Jean-Eric Pin,et al.  Profinite Semigroups, Mal'cev Products, and Identities☆ , 1996 .

[287]  Shih-Chun You.  The Product Separability of the Generalized Free Product of Cyclic Groups , 1997 .

[288]  J. Rhodes.  Survey of Global Semigroup Theory , 1990 .

[289]  Pascal Weil,et al.  Decomposition techniques for finite semigroups, using categories II , 1989 .

[290]  Karsten Henckell,et al.  Pointlike sets: the finest aperiodic cover of a finite semigroup , 1988 .

[291]  Nellie Clarke Brown.  Trees , 1896, Savage Dreams.

[292]  H. Paul Zeiger.  Yet another proof of the cascade decomposition theorem for finite automata , 2005, Mathematical systems theory.

[293]  Denis Thérien,et al.  Graph congruences and wreath products , 1985 .

[294]  Graham A. Niblo.  Separability properties of free groups and surface groups , 1992 .

[295]  Mário J. J. Branco.  The Kernel Category and Variants of the Concatenation Product , 1997, Int. J. Algebra Comput..

[296]  Chrystopher L. Nehaniv,et al.  Subsemigroups and complexity via the Presentation Lemma , 1995 .

[297]  J. Costa.  Free profinite R-trivial, locally idempotent and locally commutative semigroups , 1999 .

[298]  B. Steinberg,et al.  On Algorithmic Problems for Joins of Pseudovarieties , 2001 .

[299]  Small inherently nonfinitely based finite semigroups , 2002 .

[300]  M. Tokizawa,et al.  Semigroups of order 8 , 1994 .

[301]  The finite basis problem for quasivarieties and pseudovarieties generated by regular semigroups I. Quasivarieties generated by regular semigroups , 2003 .

[302]  S. Talwar.  Morita equivalence for semigroups , 1995, Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics.

[303]  Luis Ribes,et al.  Profinite Topologies in Free Products of Groups , 2004, Int. J. Algebra Comput..

[304]  Imre Simon,et al.  Piecewise testable events , 1975, Automata Theory and Formal Languages.