Lattice Theory: Foundation
This book started with Lattice Theory, First Concepts, in 1971. Then came General Lattice Theory, First Edition, in 1978, and the Second Edition twenty years later. Since the publication of the first edition in 1978, General Lattice Theory has become the
- PDF / 7,404,658 Bytes
- 639 Pages / 476.22 x 680.316 pts Page_size
- 187 Downloads / 981 Views
Lattice Theory: Foundation
George Grätzer Department of Mathematics University of Manitoba Winnipeg, Manitoba R3T 2N2 Canada [email protected]
2010 Mathematics Subject Classification 06-01, 06-02
ISBN 978-3-0348-0017-4 DOI 10.1007/978-3-0348-0018-1
e-ISBN 978-3-0348-0018-1
Library of Congress Control Number: 2011921250 © Springer Basel AG 2011 This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the right of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in other ways, and storage in data banks. For any kind of use, permission of the copyright owner must be obtained. Cover design: deblik, Berlin Printed on acid-free paper Springer Basel AG is part of Springer Science+Business Media www.birkhauser-science.com
To Cheryl and David, for the support they gave me, when it was most needed . . .
Short Contents
Preface
xvii
Foreword
xix
Glossary of Notation
xxiii
I
First Concepts 1 Two Definitions of Lattices 2 How to Describe Lattices 3 Some Basic Concepts 4 Terms, Identities, and Inequalities 5 Free Lattices 6 Special Elements
II
Distributive Lattices 1 Characterization and Representation Theorems 2 Terms and Freeness 3 Congruence Relations 4 Boolean Algebras R-generated by Distributive Lattices 5 Topological Representation 6 Pseudocomplementation
109 109 126 138 149 166 191
III
Congruences 1 Congruence Spreading 2 Distributive, Standard, and Neutral Elements 3 Distributive, Standard, and Neutral Ideals 4 Structure Theorems
207 207 223 234 244
vii
1 1 21 28 66 75 97
viii
Contents
IV
Lattice Constructions 1 Adding an Element 2 Gluing 3 Chopped Lattices 4 Constructing Lattices with Given Congruence Lattices 5 Boolean Triples
255 255 262 269 276 294
V
Modular and Semimodular Lattices 1 Modular Lattices 2 Semimodular Lattices 3 Geometric Lattices 4 Partition Lattices 5 Complemented Modular Lattices
307 307 329 342 359 373
VI
Varieties of Lattices 1 Characterizations of Varieties 2 The Lattice of Varieties of Lattices 3 Finding Equational Bases 4 The Amalgamation Property
409 409 423 438 454
VII Free Products 1 Free Products of Lattices 2 The Structure of Free Lattices 3 Reduced Free Products 4 Hopfian Lattices
467 467 493 508 526
Afterword
533
Bibliography
539
Index
589
Contents
Preface
xvii
Foreword
xix
Glossary of Notation I
xxiii
First Concepts 1 Two Definitions of Lattices 1.1 Orders 1.2 Equivalence relations and preorderings 1.3 Basic order concepts 1.4 Ordering and covers 1.5 Order diagrams 1.6 Order constructions 1.7 Two more numeric invariants 1.8 Lattices as orders 1.9 Algebras 1.10 Lattices as algebras Exercises 2 How to Describe Lattices 2.1 Lattice diagrams 2.2 Join- and meet-tables 2.3 Combinations Exercises 3 Some Basic Concepts 3.1 The concept of isomorphism 3.2 Homomorphisms 3.3 Sublattices and extensions 3.4 Ideals 3.5 Intervals ix
1 1 1 2 4 5 6 7 8 9 11 12 15 21 21 21 22 24 28 28 30 31 31 35
x
II
Contents
3.6 Congruence
Data Loading...