PURE and APPLIED MATHEMATICS
| This remarkable and very rich volume dedicated
to a general Lattice Theory represents a very important contribution due
to the most outstanding specialist of this field, Professor GEORGE GRÄTZER
(Department of Mathematics, Univ. of Manitoba - Winnipeg, Canada). It brings
together older and newer developments in a theory that has started 70 years
ago with Garrett Birkhoff's earliest papers, and continuously expanded by
mathematicians as F.W. Anderson, E. Artin, K.A. Baker, J.W. de Bakker, G.
Birkhoff himself, C.C. Chen, R.P. Dilworth, R. Freese, C. Herrmann, B. Jónsson,
P.M. Whitman and many others. G. Grätzer's papers and volumes have
brought comprehensive syntheses of previous results and have opened new
research directions. Such important monographs that settled the bases of
the lattice theory started (and continued) with G. BIRKHOFF's Lattice Theory
(1940, 1948, 1967), G. GRÄTZER's Universal Algebra (1968, 1970, 1979),
Lattice Theory : First Concepts and Distributive Lattices (1971), P. CRAWLEY's
& R.P. DILWORTH's Algebraic Theory of Lattices (1973). Hundreds (if
not even thousands) of papers published in prestigious mathematical journals
have completed the field of Lattice Theory with both deep theoretical results,
new issues and applications in related fields like Universal Algebra, Combinatorial
Theory, Boolean algebras, Theory of semigroups, Combinatorial and Algebraic
Geometry, Mathematical Logic and others. After this short historical survey, let us mention that the first book (of 1971) combined the techniques of an introductory text with those of a monograph to introduce the general reader to lattice theory and to bring the expert up to date on the most recent developments (at that time). The first chapter, along with a selection of topics from the later chapters, could serve as an introductory course covering first concepts, distributive, modular, semimodular and geometric lattices and so on. About 900 exercises and 130 diagrams helped the beginner to learn the basic results and important techniques. The later parts of each chapter gave deeper developments of the fields mentioned above and there were also included chapters on equational classes (varieties) and free products. More advanced readers could find the almost 200 research problems, an extensive bibliography, and the further topics and references at the end of each chapter, of special use. This latest G. Grätzer's volume we are here reviewing is not merely a second edition of his earlier book of 1971. The work has been significantly updated and extended. It contains an extensive New Bibliography of 530 items and has been supplemented by eight Appendices authored by an exceptional group of experts. We are going to offer some information on these appendices, but not before describing the main body of the book. In the Introduction, the author evokes the attempts of George Boole (in the first half of the 19th century) to formalize propositional logic that led to the concept of Boolean algebras. By the end of the same century, Charles S. Pierce and Ernst Schröder found it useful to introduce the lattice concept. Independently, Richard Dedekind's research on ideals of algebraic numbers led to the same discovery. Although some of the early results of these mathematicians were very elegant and far from trivial, they did not attract the attention of the mathematical com-munity. It was Garrett Birkhoff's work in the mid thirties that started the general development of the lattice theory. In a brilliant series of papers, he demonstrated the importance of the lattice theory and showed that it provides a unified framework for hitherto unrelated developments in many mathematical disciplines. Subsequent contributions due to Birkhoff himself, V. Glivenko, Karl Menger, John von Neumann and Oystein Ore had developed enough of this field for making it attractive to the mathematicians and for its further progress. The goal of G. Grätzer's volumes, including this edition of 2003, can be stated very simply : to discuss in depth the basics of general lattice theory. In other words, the author tried to include what he considered the most important results and research methods of all of lattice theory. To treat the rudimentary results in depth and still keep the size of the volume reasonable, he had to omit a great deal. He excluded many important chapters of lattice theory that have grown into research fields on their own. The traditional approach to lattice theory, which proceeds from partially ordered sets to general lattices, semimodular lattices, modular lattices and - finally - to distributive lattices was changed by treating the DLs as a first priority in this book. This approach has the additional advantage that the reader can reach interesting and deep results early in the book. Chapter I - First Concepts - gives a concise development of the basic concepts of lattice theory. Diagrams are frequently included since an important part of learning this theory is the acquisition of the skill in drawing diagrams. This point of view is stressed throughout the book by presenting about 130 diagrams. A special feature of this chapter is a detailed development of free lattices generated by a partial lattice over an arbitrary variety; this is one of the most important research tools of lattice theory. Free lattices and varieties of lattices are studied in Section 5. Special elements in a lattice such as complements and relative complements allow for defining complemented lattices, relatively complemented lattices, Boolean lattices that are briefly discussed in Section 6 of this first chapter; 44 exercises close this section. A short section discusses further topics and references, another follows with references on the fixed-point theorem for an isotone map of a complete lattice L into itself. The chapter is completed with 42 problems. Chapter II is entirely dedicated to Distributive Lattices. Characterization and representation theorems are presented in the 1st section. A lattice L is distributive if the two operations (inf or meet) and (sup or join) satisfy one of the equations or . By Lemma 10, these two equations are equivalent to each other and both of them to the inequality Let us quote Theorem 19 (G. Birkhoff - 1933 and M.H. Stone - 1936) that states that a lattice is distributive if and only if it is isomorphic to a ring of sets. |
Polynomials and freeness are discussed in Section 2, while congruence
relations form the topic of section 3. A theorem due to N. Funayama &
T. Nakayama (of 1942) states that Con L = the lattice of all congruence
relations on L is distributive. Boolean algebras R-generated by distributive
lattices are presented in Section 4 that includes several results like
two lemmas due to J. von Neumann (of 1936) and V. Glivenko (of 1929).
Section 5 deals with the topological representation in terms of S(L) =
the topological space defined on P(L) = the partially ordered set (poset)
of prime ideals. The Stone space S(L) determines L up to an isomorphism.
Distributive lattices and pseudocomplementation form the topic of Section
6 in this second chapter. It includes Theorem 12 - Birkhoff's Subdirect
Representation Theorem which states that every algebra A in a variety
K of algebras can be embedded in a direct product of subdirectly irreducible
algebras in K.
|
|
This volume highlights the analysis on noncompact and singular manifolds
within the framework of the cone calculus with asymptotics. |
There follows a factorization theorem for meromorphic symbols: It is
proved that each of these can be decomposed into a holomorphic invertible
part and a smoothing part containing all the meromorphic information.
It is expected that this result will be important for applications in
the analysis of nonlinear hyperbolic equations. The final article addresses
the question of the coordinate invariance of the Mellin calculus with
asymptotics. |
|
Fundamentals of Error Correcting Codes are an in-depth introduction to
coding theory from both an engineering and mathematical viewpoint. It
reviews classical topics, and gives much coverage of recent techniques
that could previously only be found in specialist publications. Numerous
exercises and examples and an accessible writing style make this a lucid
and effective introduction to coding theory for advanced undergraduate
and graduate students, researchers and engineers - whether approaching
the subject from a mathematical, engineering or computer science background.
|
Contents |
|
This book covers statics and dynamics to provide the student with everything
needed to complete typical first-year undergraduate courses. Although
students often find it difficult to visualize problems and grasp the mathematics,
Adrian Roberts' approach tackles concepts with many examples, exercises
and helpful diagrams. A key section on background mathematics allows students
to review the prerequisite mathematics needed to progress through both
topics. |
Part I. Statics: 1. Forces, 2. Moments, 3. Centre of gravity, 4. Distributed
forces, 5. Trusses, 6. Beams, 7. Friction, 8. Non-coplanar forces and
couples, 9. Virtual work, |
|
This Book Contains papers presented at the conference "Applied Geometric
Algebra in Computer Science and Engineering" (AGACSE 2001) held in
the Engineering Department at Cambridge University from July 9th to 13th,
2001. The goal was to demonstrate how the framework of geometric algebra
(Clifford algebra) could unify and illuminate diverse fields of science
and engineering. |
The articles reveal the range fields: from quantum physics to robotics,
from crystallographic groups to image understanding, from relativistic
mechanics to signal processing. Despite this diversity, the combination
of these subjects was not felt to be artificial. Assist. Prof. Ariadna Lucia PLETEA, Ph. D.
|
|
This book contains 102 highly selected combinatorial problems used in
the training and testing of the USA International Mathematical Olympiad
team. Half of the problems are introductory, while the rest are more difficult.
All problems have complete solutions. The problems come mostly from American
Mathematical Contests, International Mathematical Olympiads, Russian Mathematical
Olympiads etc. A glossary and suggestions for further reading are also
included.
|
Problem-solving tactics and strategies further stimulate interest and
confidence in combinatorics and other areas of mathematics. Prof. Liliana POPA, Ph.D. |