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.
- ISBN10 1299632998
- ISBN13 9781299632998
- Publish Date 1 January 1995
- Publish Status Active
- Out of Print 3 June 2015
- Publish Country US
- Imprint World Scientific Publishing Company
- Format eBook
- Pages 532
- Language English