Overview
- Concise and user-friendly
- Covers both the standard topics on hyperequational theory and advanced topics
- Includes supplementary material: sn.pub/extras
Part of the book series: Advances in Mathematics (ADMA, volume 10)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (8 chapters)
Keywords
About this book
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.
A unique feature of this book is the use of Galois connections to integrate different topics. Galois connections form the abstract framework not only for classical and modern Galois theory, involving groups, fields and rings, but also for many other algebraic, topological, ordertheoretical, categorical and logical theories. This concept is used throughout the whole book, along with the related topics of closure operators, complete lattices, Galois closed subrelations and conjugate pairs of completely additive closure operators.
Authors and Affiliations
Bibliographic Information
Book Title: M-Solid Varieties of Algebras
Authors: J. Koppitz, K. Denecke
Series Title: Advances in Mathematics
DOI: https://doi.org/10.1007/0-387-30806-7
Publisher: Springer New York, NY
eBook Packages: Mathematics and Statistics, Mathematics and Statistics (R0)
Copyright Information: Springer-Verlag US 2006
Hardcover ISBN: 978-0-387-30804-3Published: 10 February 2006
Softcover ISBN: 978-1-4899-9662-6Published: 06 December 2014
eBook ISBN: 978-0-387-30806-7Published: 18 June 2006
Edition Number: 1
Number of Pages: XIV, 342
Topics: General Algebraic Systems, Group Theory and Generalizations, Order, Lattices, Ordered Algebraic Structures, Programming Languages, Compilers, Interpreters, Mathematical Logic and Formal Languages