Author: Jorge Almeida
Publisher: Springer Science & Business Media
ISBN: 1489926089
Category : Mathematics
Languages : en
Pages : 325
Book Description
This volume contains papers which, for the most part, are based on talks given at an international conference on Lattices, Semigroups, and Universal Algebra that was held in Lisbon, Portugal during the week of June 20-24, 1988. The conference was dedicated to the memory of Professor Antonio Almeida Costa, a Portuguese mathematician who greatly contributed to the development of th algebra in Portugal, on the 10 anniversary of his death. The themes of the conference reflect some of his research interests and those of his students. The purpose of the conference was to gather leading experts in Lattices, Semigroups, and Universal Algebra and to promote a discussion of recent developments and trends in these areas. All three fields have grown rapidly during the last few decades with varying degrees of interaction. Lattice theory and Universal Algebra have historically evolved alongside with a large overlap between the groups of researchers in the two fields. More recently, techniques and ideas of these theories have been used extensively in the theory of semigroups. Conversely, some developments in that area may inspire further developments in Universal Algebra. On the other hand, techniques of semi group theory have naturally been employed in the study of semilattices. Several papers in this volume elaborate on these interactions.
Lattices, Semigroups, and Universal Algebra
A Course in Universal Algebra
Author: S. Burris
Publisher: Springer
ISBN: 9781461381327
Category : Mathematics
Languages : en
Pages : 276
Book Description
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.
Publisher: Springer
ISBN: 9781461381327
Category : Mathematics
Languages : en
Pages : 276
Book Description
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.
Algebras, Lattices, Varieties
Author: Ralph S. Freese
Publisher: American Mathematical Society
ISBN: 1470467976
Category : Mathematics
Languages : en
Pages : 496
Book Description
This book is the second of a three-volume set of books on the theory of algebras, a study that provides a consistent framework for understanding algebraic systems, including groups, rings, modules, semigroups and lattices. Volume I, first published in the 1980s, built the foundations of the theory and is considered to be a classic in this field. The long-awaited volumes II and III are now available. Taken together, the three volumes provide a comprehensive picture of the state of art in general algebra today, and serve as a valuable resource for anyone working in the general theory of algebraic systems or in related fields. The two new volumes are arranged around six themes first introduced in Volume I. Volume II covers the Classification of Varieties, Equational Logic, and Rudiments of Model Theory, and Volume III covers Finite Algebras and their Clones, Abstract Clone Theory, and the Commutator. These topics are presented in six chapters with independent expositions, but are linked by themes and motifs that run through all three volumes.
Publisher: American Mathematical Society
ISBN: 1470467976
Category : Mathematics
Languages : en
Pages : 496
Book Description
This book is the second of a three-volume set of books on the theory of algebras, a study that provides a consistent framework for understanding algebraic systems, including groups, rings, modules, semigroups and lattices. Volume I, first published in the 1980s, built the foundations of the theory and is considered to be a classic in this field. The long-awaited volumes II and III are now available. Taken together, the three volumes provide a comprehensive picture of the state of art in general algebra today, and serve as a valuable resource for anyone working in the general theory of algebraic systems or in related fields. The two new volumes are arranged around six themes first introduced in Volume I. Volume II covers the Classification of Varieties, Equational Logic, and Rudiments of Model Theory, and Volume III covers Finite Algebras and their Clones, Abstract Clone Theory, and the Commutator. These topics are presented in six chapters with independent expositions, but are linked by themes and motifs that run through all three volumes.
Finite Semigroups And Universal Algebra
Author: Jorge Almeida
Publisher: World Scientific
ISBN: 9814501565
Category : Mathematics
Languages : en
Pages : 532
Book Description
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.
Publisher: World Scientific
ISBN: 9814501565
Category : Mathematics
Languages : en
Pages : 532
Book Description
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.
M-Solid Varieties of Algebras
Author: Jörg Koppitz
Publisher: Springer Science & Business Media
ISBN: 9780387308043
Category : Mathematics
Languages : en
Pages : 364
Book Description
A complete and systematic introduction to the fundamentals of the hyperequational theory of universal algebra, offering the newest results on solid varieties of semirings and semigroups. The book aims to develop the theory of solid varieties as a system of mathematical discourse that is applicable in several concrete situations. A unique feature of this book is the use of Galois connections to integrate different topics.
Publisher: Springer Science & Business Media
ISBN: 9780387308043
Category : Mathematics
Languages : en
Pages : 364
Book Description
A complete and systematic introduction to the fundamentals of the hyperequational theory of universal algebra, offering the newest results on solid varieties of semirings and semigroups. The book aims to develop the theory of solid varieties as a system of mathematical discourse that is applicable in several concrete situations. A unique feature of this book is the use of Galois connections to integrate different topics.
Structural Theory of Automata, Semigroups, and Universal Algebra
Author: Valery B. Kudryavtsev
Publisher: Springer Science & Business Media
ISBN: 1402038178
Category : Mathematics
Languages : en
Pages : 448
Book Description
Semigroups, Automata, Universal Algebra, Varieties
Publisher: Springer Science & Business Media
ISBN: 1402038178
Category : Mathematics
Languages : en
Pages : 448
Book Description
Semigroups, Automata, Universal Algebra, Varieties
Homological Algebra
Author: Marco Grandis
Publisher: World Scientific
ISBN: 9814407062
Category : Mathematics
Languages : en
Pages : 382
Book Description
In this book we want to explore aspects of coherence in homological algebra, that already appear in the classical situation of abelian groups or abelian categories. Lattices of subobjects are shown to play an important role in the study of homological systems, from simple chain complexes to all the structures that give rise to spectral sequences. A parallel role is played by semigroups of endorelations. These links rest on the fact that many such systems, but not all of them, live in distributive sublattices of the modular lattices of subobjects of the system. The property of distributivity allows one to work with induced morphisms in an automatically consistent way, as we prove in a 'Coherence Theorem for homological algebra'. (On the contrary, a 'non-distributive' homological structure like the bifiltered chain complex can easily lead to inconsistency, if one explores the interaction of its two spectral sequences farther than it is normally done.) The same property of distributivity also permits representations of homological structures by means of sets and lattices of subsets, yielding a precise foundation for the heuristic tool of Zeeman diagrams as universal models of spectral sequences. We thus establish an effective method of working with spectral sequences, called 'crossword chasing', that can often replace the usual complicated algebraic tools and be of much help to readers that want to apply spectral sequences in any field.
Publisher: World Scientific
ISBN: 9814407062
Category : Mathematics
Languages : en
Pages : 382
Book Description
In this book we want to explore aspects of coherence in homological algebra, that already appear in the classical situation of abelian groups or abelian categories. Lattices of subobjects are shown to play an important role in the study of homological systems, from simple chain complexes to all the structures that give rise to spectral sequences. A parallel role is played by semigroups of endorelations. These links rest on the fact that many such systems, but not all of them, live in distributive sublattices of the modular lattices of subobjects of the system. The property of distributivity allows one to work with induced morphisms in an automatically consistent way, as we prove in a 'Coherence Theorem for homological algebra'. (On the contrary, a 'non-distributive' homological structure like the bifiltered chain complex can easily lead to inconsistency, if one explores the interaction of its two spectral sequences farther than it is normally done.) The same property of distributivity also permits representations of homological structures by means of sets and lattices of subsets, yielding a precise foundation for the heuristic tool of Zeeman diagrams as universal models of spectral sequences. We thus establish an effective method of working with spectral sequences, called 'crossword chasing', that can often replace the usual complicated algebraic tools and be of much help to readers that want to apply spectral sequences in any field.
An Invitation to General Algebra and Universal Constructions
Author: George M. Bergman
Publisher: Springer
ISBN: 3319114786
Category : Mathematics
Languages : en
Pages : 574
Book Description
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.
Publisher: Springer
ISBN: 3319114786
Category : Mathematics
Languages : en
Pages : 574
Book Description
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.
Semigroups and Their Subsemigroup Lattices
Author: L.N. Shevrin
Publisher: Springer Science & Business Media
ISBN: 9401587515
Category : Mathematics
Languages : en
Pages : 389
Book Description
0.1. General remarks. For any algebraic system A, the set SubA of all subsystems of A partially ordered by inclusion forms a lattice. This is the subsystem lattice of A. (In certain cases, such as that of semigroups, in order to have the right always to say that SubA is a lattice, we have to treat the empty set as a subsystem.) The study of various inter-relationships between systems and their subsystem lattices is a rather large field of investigation developed over many years. This trend was formed first in group theory; basic relevant information up to the early seventies is contained in the book [Suz] and the surveys [K Pek St], [Sad 2], [Ar Sad], there is also a quite recent book [Schm 2]. As another inspiring source, one should point out a branch of mathematics to which the book [Baer] was devoted. One of the key objects of examination in this branch is the subspace lattice of a vector space over a skew field. A more general approach deals with modules and their submodule lattices. Examining subsystem lattices for the case of modules as well as for rings and algebras (both associative and non-associative, in particular, Lie algebras) began more than thirty years ago; there are results on this subject also for lattices, Boolean algebras and some other types of algebraic systems, both concrete and general. A lot of works including several surveys have been published here.
Publisher: Springer Science & Business Media
ISBN: 9401587515
Category : Mathematics
Languages : en
Pages : 389
Book Description
0.1. General remarks. For any algebraic system A, the set SubA of all subsystems of A partially ordered by inclusion forms a lattice. This is the subsystem lattice of A. (In certain cases, such as that of semigroups, in order to have the right always to say that SubA is a lattice, we have to treat the empty set as a subsystem.) The study of various inter-relationships between systems and their subsystem lattices is a rather large field of investigation developed over many years. This trend was formed first in group theory; basic relevant information up to the early seventies is contained in the book [Suz] and the surveys [K Pek St], [Sad 2], [Ar Sad], there is also a quite recent book [Schm 2]. As another inspiring source, one should point out a branch of mathematics to which the book [Baer] was devoted. One of the key objects of examination in this branch is the subspace lattice of a vector space over a skew field. A more general approach deals with modules and their submodule lattices. Examining subsystem lattices for the case of modules as well as for rings and algebras (both associative and non-associative, in particular, Lie algebras) began more than thirty years ago; there are results on this subject also for lattices, Boolean algebras and some other types of algebraic systems, both concrete and general. A lot of works including several surveys have been published here.
Universal Algebra and Lattice Theory
Author: R.S. Freese
Publisher: Springer
ISBN: 3540409548
Category : Mathematics
Languages : en
Pages : 314
Book Description
Publisher: Springer
ISBN: 3540409548
Category : Mathematics
Languages : en
Pages : 314
Book Description