Preface -- 1. Basic Concepts -- 2. Closure Operators and Lattices -- 3. M-Hyperidentities and M-solid Varieties -- 4. Hyperidentities and Clone Identities -- 5. Solid Varieties of Arbitrary Type -- 6. Monoids of Hypersubstitutions -- 7. M-Solid Varieties of Semigroups -- 8. M-solid Varieties of Semirings -- Bibliography -- Glossary -- Index
Summary
"M-Solid Varieties of Algebras provides a complete and systematic introduction to the fundamentals of the hyperequational theory of universal algebra, offering the newest results on M-solid varieties of semirings and semigroups. The book aims to develop the theory of M-solid varieties as a system of mathematical discourse that is applicable in several concrete situations. It applies the general theory to two classes of algebraic structures, semigroups and semirings. Both these varieties and their subvarieties play an important role in computer science." "This book is intended for researchers in the fields of universal algebra, semigroups, and semirings; researchers in theoretical computer science; and students and lecturers in these fields."--Jacket
Bibliography
Includes bibliographical references (pages 321-329) and index