Lattices and Ordered Algebraic Structures (eBook)

T.S. Blyth (Autor)

eBook Download: PDF

2005 | 1. Auflage
320 Seiten
Springer London (Verlag)
978-1-84628-127-3 (ISBN)

Infos

This book provides a lucid and concise introduction to the basic results concerning the notion of an order. Although it is mainly intended for beginning postgraduates, the prerequisities are minimal and selected parts can profitably be used to broaden the horizon of the advanced undergraduate.

The treatment is modern, with a slant towards recent developments in the theory of residuated lattices and ordered regular semigroups. Featuring material that has been hitherto available only in research articles, and an account of the range of applications of the theory, there are also many illustrative examples and numerous exercises throughout, making it ideal for use as a course text, or as a basic introduction to the field for researchers in mathematics, logic and computer science.

---

The notion of an order plays an important role not only throughout mat- maticsbutalsoinadjacentdisciplinessuchaslogicandcomputerscience. The purpose of the present text is to provide a basic introduction to the theory of ordered structures. Taken as a whole, the material is mainly designed for a postgraduate course. However, since prerequisites are minimal, selected parts of it may easily be considered suitable to broaden the horizon of the advanced undergraduate. Indeed, this has been the author's practice over many years. A basic tool in analysis is the notion of a continuous function, namely a mapping which has the property that the inverse image of an open set is an open set. In the theory of ordered sets there is the corresponding concept of a residuated mapping, this being a mapping which has the property that the inverse image of a principal down-set is a principal down-set. It comes the- fore as no surprise that residuated mappings are important as far as ordered structures are concerned. Indeed, albeit beyond the scope of the present - position, the naturality of residuated mappings can perhaps best be exhibited using categorical concepts. If we regard an ordered set as a small category then an order-preserving mapping f : A? B becomes a functor. Then f is + + residuated if and only if there exists a functor f : B? A such that (f,f ) is an adjoint pair.

Produkt-Details

• Erscheint lt. Verlag: 30.3.2006
• Sprache: englisch
• Themenwelt: Mathematik / Informatik ► Mathematik ► Algebra
• Themenwelt: Technik
• ISBN-10: 1-84628-127-X / 184628127X
• ISBN-13: 978-1-84628-127-3 / 9781846281273