Congruence Classes In Universal Algebra

Universal Algebra has become the most authoritative, consistently relied on text in a field with applications in other branches of algebra and other fields such as combinatorics, geometry, and computer science. Each chapter is followed by an extensive list of exercises and problems. The "state of the art" account also includes new appendices (with contributions from B. Jónsson, R. Quackenbush, W. Taylor, and G. Wenzel) and a well selected additional bibliography of over 1250 papers and books which makes this an indispensable new edition for students, faculty, and workers in the field.

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.

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.

We develop a geometric approach to algebras in congruence modular varieties. The idea of coordination of lines in affine geometry finds an almost perfect analog in the coordination of algebras. The geometry is the congruence class geometry, i.e. the subspaces are the blocks of congruence relations.

Semigroups, Automata, Universal Algebra, Varieties

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.