Universal algebra has enjoyed a particularly explosive growth in the last twenty years, and a student entering the subject now will find a bewildering amount of material to digest. This text is not intended to be encyclopedic; rather, a few themes central to universal algebra have been developed sufficiently to bring the reader to the brink of current research. The choice of topics most certainly reflects the authors' interests. Chapter I contains a brief but substantial introduction to lattices, and to the close connection between complete lattices and closure operators. In particular, everything necessary for the subsequent study of congruence lattices is included. Chapter II develops the most general and fundamental notions of uni versal algebra-these include the results that apply to all types of algebras, such as the homomorphism and isomorphism theorems. Free algebras are discussed in great detail-we use them to derive the existence of simple algebras, the rules of equational logic, and the important Mal'cev conditions. We introduce the notion of classifying a variety by properties of (the lattices of) congruences on members of the variety. Also, the center of an algebra is defined and used to characterize modules (up to polynomial equivalence). In Chapter III we show how neatly two famous results-the refutation of Euler's conjecture on orthogonal Latin squares and Kleene's character ization of languages accepted by finite automata-can be presented using universal algebra. We predict that such "applied universal algebra" will become much more prominent.

Starting with the most basic notions, Universal Algebra: Fundamentals and Selected Topics introduces all the key elements needed to read and understand current research in this field. Based on the author’s two-semester course, the text prepares students for research work by providing a solid grounding in the fundamental constructions and concepts of universal algebra and by introducing a variety of recent research topics. The first part of the book focuses on core components, including subalgebras, congruences, lattices, direct and subdirect products, isomorphism theorems, a clone of operations, terms, free algebras, Birkhoff’s theorem, and standard Maltsev conditions. The second part covers topics that demonstrate the power and breadth of the subject. The author discusses the consequences of Jónsson’s lemma, finitely and nonfinitely based algebras, definable principal congruences, and the work of Foster and Pixley on primal and quasiprimal algebras. He also includes a proof of Murskiĭ’s theorem on primal algebras and presents McKenzie’s characterization of directly representable varieties, which clearly shows the power of the universal algebraic toolbox. The last chapter covers the rudiments of tame congruence theory. Throughout the text, a series of examples illustrates concepts as they are introduced and helps students understand how universal algebra sheds light on topics they have already studied, such as Abelian groups and commutative rings. Suitable for newcomers to the field, the book also includes carefully selected exercises that reinforce the concepts and push students to a deeper understanding of the theorems and techniques.

Rich in examples and intuitive discussions, this book presents General Algebra using the unifying viewpoint of categories and functors. Starting with a survey, in non-category-theoretic terms, of many familiar and not-so-familiar constructions in algebra (plus two from topology for perspective), the reader is guided to an understanding and appreciation of the general concepts and tools unifying these constructions. Topics include: set theory, lattices, category theory, the formulation of universal constructions in category-theoretic terms, varieties of algebras, and adjunctions. A large number of exercises, from the routine to the challenging, interspersed through the text, develop the reader's grasp of the material, exhibit applications of the general theory to diverse areas of algebra, and in some cases point to outstanding open questions. Graduate students and researchers wishing to gain fluency in important mathematical constructions will welcome this carefully motivated book.

Function Algebras on Finite Sets gives a broad introduction to the subject, leading up to the cutting edge of research. The general concepts of the Universal Algebra are given in the first part of the book, to familiarize the reader from the very beginning on with the algebraic side of function algebras. The second part covers the following topics: Galois-connection between function algebras and relation algebras, completeness criterions, and clone theory.

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.

Universal algebra has enjoyed a particularly explosive growth in the last twenty years, and a student entering the subject now will find a bewildering amount of material to digest. This text is not intended to be encyclopedic; rather, a few themes central to universal algebra have been developed sufficiently to bring the reader to the brink of current research. The choice of topics most certainly reflects the authors' interests. Chapter I contains a brief but substantial introduction to lattices, and to the close connection between complete lattices and closure operators. In particular, everything necessary for the subsequent study of congruence lattices is included. Chapter II develops the most general and fundamental notions of uni versal algebra-these include the results that apply to all types of algebras, such as the homomorphism and isomorphism theorems. Free algebras are discussed in great detail-we use them to derive the existence of simple algebras, the rules of equational logic, and the important Mal'cev conditions. We introduce the notion of classifying a variety by properties of (the lattices of) congruences on members of the variety. Also, the center of an algebra is defined and used to characterize modules (up to polynomial equivalence). In Chapter III we show how neatly two famous results-the refutation of Euler's conjecture on orthogonal Latin squares and Kleene's character ization of languages accepted by finite automata-can be presented using universal algebra. We predict that such "applied universal algebra" will become much more prominent.

This book presents the foundations of a general theory of algebras. Often called “universal algebra”, this theory provides a common framework for all algebraic systems, including groups, rings, modules, fields, and lattices. Each chapter is replete with useful illustrations and exercises that solidify the reader's understanding. The book begins by developing the main concepts and working tools of algebras and lattices, and continues with examples of classical algebraic systems like groups, semigroups, monoids, and categories. The essence of the book lies in Chapter 4, which provides not only basic concepts and results of general algebra, but also the perspectives and intuitions shared by practitioners of the field. The book finishes with a study of possible uniqueness of factorizations of an algebra into a direct product of directly indecomposable algebras. There is enough material in this text for a two semester course sequence, but a one semester course could also focus primarily on Chapter 4, with additional topics selected from throughout the text.

These 34 papers cover topics ranging from various problems on varieties and other classes of algebras including categorical aspects and duality theory to the structure of finite algebras and clones on finite (or infinite) sets.As well as survey articles by invited speakers, the papers contain full proofs of new results not published elsewhere. The volume ends with a list of problems.

The book is meant to serve two purposes. The first and more obvious one is to present state of the art results in algebraic research into residuated structures related to substructural logics. The second, less obvious but equally important, is to provide a reasonably gentle introduction to algebraic logic. At the beginning, the second objective is predominant. Thus, in the first few chapters the reader will find a primer of universal algebra for logicians, a crash course in nonclassical logics for algebraists, an introduction to residuated structures, an outline of Gentzen-style calculi as well as some titbits of proof theory - the celebrated Hauptsatz, or cut elimination theorem, among them. These lead naturally to a discussion of interconnections between logic and algebra, where we try to demonstrate how they form two sides of the same coin. We envisage that the initial chapters could be used as a textbook for a graduate course, perhaps entitled Algebra and Substructural Logics. As the book progresses the first objective gains predominance over the second. Although the precise point of equilibrium would be difficult to specify, it is safe to say that we enter the technical part with the discussion of various completions of residuated structures. These include Dedekind-McNeille completions and canonical extensions. Completions are used later in investigating several finiteness properties such as the finite model property, generation of varieties by their finite members, and finite embeddability. The algebraic analysis of cut elimination that follows, also takes recourse to completions. Decidability of logics, equational and quasi-equational theories comes next, where we show how proof theoretical methods like cut elimination are preferable for small logics/theories, but semantic tools like Rabin's theorem work better for big ones. Then we turn to Glivenko's theorem, which says that a formula is an intuitionistic tautology if and only if its double negation is a classical one. We generalise it to the substructural setting, identifying for each substructural logic its Glivenko equivalence class with smallest and largest element. This is also where we begin investigating lattices of logics and varieties, rather than particular examples. We continue in this vein by presenting a number of results concerning minimal varieties/maximal logics. A typical theorem there says that for some given well-known variety its subvariety lattice has precisely such-and-such number of minimal members (where values for such-and-such include, but are not limited to, continuum, countably many and two). In the last two chapters we focus on the lattice of varieties corresponding to logics without contraction. In one we prove a negative result: that there are no nontrivial splittings in that variety. In the other, we prove a positive one: that semisimple varieties coincide with discriminator ones. Within the second, more technical part of the book another transition process may be traced. Namely, we begin with logically inclined technicalities and end with algebraically inclined ones. Here, perhaps, algebraic rendering of Glivenko theorems marks the equilibrium point, at least in the sense that finiteness properties, decidability and Glivenko theorems are of clear interest to logicians, whereas semisimplicity and discriminator varieties are universal algebra par exellence. It is for the reader to judge whether we succeeded in weaving these threads into a seamless fabric.