This comprehensive, encyclopedic text in four parts aims to give the reader — from the graduate student to the researcher/practitioner — a detailed understanding of modern finite semigroup theory, focusing in particular on advanced topics on the cutting edge of research. The q-theory of Finite Semigroups presents important techniques and results, many for the first time in book form, thereby updating and modernizing the semigroup theory literature.

This comprehensive, encyclopedic text in four parts aims to give the reader — from the graduate student to the researcher/practitioner — a detailed understanding of modern finite semigroup theory, focusing in particular on advanced topics on the cutting edge of research. The q-theory of Finite Semigroups presents important techniques and results, many for the first time in book form, thereby updating and modernizing the semigroup theory literature.

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.

This first text on the subject provides a comprehensive introduction to the representation theory of finite monoids. Carefully worked examples and exercises provide the bells and whistles for graduate accessibility, bringing a broad range of advanced readers to the forefront of research in the area. Highlights of the text include applications to probability theory, symbolic dynamics, and automata theory. Comfort with module theory, a familiarity with ordinary group representation theory, and the basics of Wedderburn theory, are prerequisites for advanced graduate level study. Researchers in algebra, algebraic combinatorics, automata theory, and probability theory, will find this text enriching with its thorough presentation of applications of the theory to these fields. Prior knowledge of semigroup theory is not expected for the diverse readership that may benefit from this exposition. The approach taken in this book is highly module-theoretic and follows the modern flavor of the theory of finite dimensional algebras. The content is divided into 7 parts. Part I consists of 3 preliminary chapters with no prior knowledge beyond group theory assumed. Part II forms the core of the material giving a modern module-theoretic treatment of the Clifford –Munn–Ponizovskii theory of irreducible representations. Part III concerns character theory and the character table of a monoid. Part IV is devoted to the representation theory of inverse monoids and categories and Part V presents the theory of the Rhodes radical with applications to triangularizability. Part VI features 3 chapters devoted to applications to diverse areas of mathematics and forms a high point of the text. The last part, Part VII, is concerned with advanced topics. There are also 3 appendices reviewing finite dimensional algebras, group representation theory, and Möbius inversion.

This book was originally written in 1969 by Berkeley mathematician John Rhodes. It is the founding work in what is now called algebraic engineering, an emerging field created by using the unifying scheme of finite state machine models and their complexity to tie together many fields: finite group theory, semigroup theory, automata and sequential machine theory, finite phase space physics, metabolic and evolutionary biology, epistemology, mathematical theory of psychoanalysis, philosophy, and game theory. The author thus introduced a completely original algebraic approach to complexity and the understanding of finite systems. The unpublished manuscript, often referred to as "The Wild Book," became an underground classic, continually requested in manuscript form, and read by many leading researchers in mathematics, complex systems, artificial intelligence, and systems biology. Yet it has never been available in print until now. This first published edition has been edited and updated by Chrystopher Nehaniv for the 21st century. Its novel and rigorous development of the mathematical theory of complexity via algebraic automata theory reveals deep and unexpected connections between algebra (semigroups) and areas of science and engineering. Co-founded by John Rhodes and Kenneth Krohn in 1962, algebraic automata theory has grown into a vibrant area of research, including the complexity of automata, and semigroups and machines from an algebraic viewpoint, and which also touches on infinite groups, and other areas of algebra. This book sets the stage for the application of algebraic automata theory to areas outside mathematics. The material and references have been brought up to date bythe editor as much as possible, yet the book retains its distinct character and the bold yet rigorous style of the author. Included are treatments of topics such as models of time as algebra via semigroup theory; evolution-complexity relations applicable to both ontogeny and evolution; an approach to classification of biological reactions and pathways; the relationships among coordinate systems, symmetry, and conservation principles in physics; discussion of "punctuated equilibrium" (prior to Stephen Jay Gould); games; and applications to psychology, psychoanalysis, epistemology, and the purpose of life. The approach and contents will be of interest to a variety of researchers and students in algebra as well as to the diverse, growing areas of applications of algebra in science and engineering. Moreover, many parts of the book will be intelligible to non-mathematicians, including students and experts from diverse backgrounds.

This monograph thoroughly explores the development of the theory of varieties of semigroups and of two related algebras: involution semigroups and monoids. Through this in-depth analysis, readers will attain a deeper understanding of the differences between these three types of varieties, which may otherwise seem counterintuitive. New results with detailed proofs are also presented that answer previously unsolved fundamental problems. Featuring both a comprehensive overview as well as highlighting the author’s own significant contributions to the area, this book will help establish this subfield as a matter of timely interest. Advances in the Theory of Varieties of Semigroups will appeal to researchers in universal algebra and will be particularly valuable for specialists in semigroups.

This festschrift volume in honour of Donald B McAlister on the occasion of his 65th birthday presents papers from leading researchers in semigroups and formal languages. The contributors cover a number of areas of current interest: from pseudovarieties and regular languages to ordered groupoids and one-relator groups, and from semigroup algebras to presentations of monoids and transformation semigroups. The papers are accessible to graduate students as well as researchers seeking new directions for future work.

This book describes the relation between profinite semigroups and symbolic dynamics. Profinite semigroups are topological semigroups which are compact and residually finite. In particular, free profinite semigroups can be seen as the completion of free semigroups with respect to the profinite metric. In this metric, two words are close if one needs a morphism on a large finite monoid to distinguish them. The main focus is on a natural correspondence between minimal shift spaces (closed shift-invariant sets of two-sided infinite words) and maximal J-classes (certain subsets of free profinite semigroups). This correspondence sheds light on many aspects of both profinite semigroups and symbolic dynamics. For example, the return words to a given word in a shift space can be related to the generators of the group of the corresponding J-class. The book is aimed at researchers and graduate students in mathematics or theoretical computer science.

This festschrift volume in honour of Donald B McAlister on the occasion of his 65th birthday presents papers from leading researchers in semigroups and formal languages. The contributors cover a number of areas of current interest: from pseudovarieties and regular languages to ordered groupoids and one-relator groups, and from semigroup algebras to presentations of monoids and transformation semigroups. The papers are accessible to graduate students as well as researchers seeking new directions for future work.

This festschrift volume in honour of Donald B McAlister on the occasion of his 65th birthday presents papers from leading researchers in semigroups and formal languages. The contributors cover a number of areas of current interest: from pseudovarieties and regular languages to ordered groupoids and one-relator groups, and from semigroup algebras to presentations of monoids and transformation semigroups. The papers are accessible to graduate students as well as researchers seeking new directions for future work.