Finite semigroups and universal algebra

"A revised translation of the original, in Portuguese, Semigroups Finitos e Álgebra Universal, published by the Institute of Mathematics and Statistics of the University of São Paulo in 1992" -- t.p. verso.

Includes index

Includes bibliography (p. 459-494) and references.

I. Finite universal algebra:
1.Elements of universal algebra
2.Order and topology
3.Finite algebras
4.Decidability
II. Finite semigroups and monoids:
5.Preliminaries
6.Permutativity
7.Operators relating semigroups and monoids
8.Semigroups whose regular d-classes are subsemigroups
9.The join
10.The semidirect product
11.The power
12.Factorization of implicit operations
Open problems

Motivated by applications in theoretical computer science, the theory of finite semigroups has emerged in recent years as an autonomous area of mathematics. It fruitfully combines methods, ideas and constructions from algebra, combinatorics, logic and topology. In simple terms, the theory aims at a classification of finite semigroups in certain classes called “pseudovarieties”. The classifying characteristics have both structural and syntactical aspects, the general connection between them being part of universal algebra. Besides providing a foundational study of the theory in the setting of arbitrary abstract finite algebras, this book stresses the syntactical approach to finite semigroups. This involves studying (relatively) free and profinite free semigroups and their presentations. The techniques used are illustrated in a systematic study of various operators on pseudovarieties of semigroups.