This volume is devoted to the "hyperbolic theory" of dynamical systems (DS), that is, the theory of smooth DS's with hyperbolic behaviour of the tra jectories (generally speaking, not the individual trajectories, but trajectories filling out more or less "significant" subsets in the phase space. Hyperbolicity the property that under a small displacement of any of a trajectory consists in point of it to one side of the trajectory, the change with time of the relative positions of the original and displaced points resulting from the action of the DS is reminiscent of the mot ion next to a saddle. If there are "sufficiently many" such trajectories and the phase space is compact, then although they "tend to diverge from one another" as it were, they "have nowhere to go" and their behaviour acquires a complicated intricate character. (In the physical literature one often talks about "chaos" in such situations. ) This type of be haviour would appear to be the opposite of the more customary and simple type of behaviour characterized by its own kind of stability and regularity of the motions (these words are for the moment not being used as a strict ter 1 minology but rather as descriptive informal terms). The ergodic properties of DS's with hyperbolic behaviour of trajectories (Bunimovich et al. 1985) have already been considered in Volume 2 of this series. In this volume we therefore consider mainly the properties of a topological character (see below 2 for further details)."

This book deals with the theory of Kac algebras and their dual ity, elaborated independently by M. Enock and J . -M. Schwartz, and by G. !. Kac and L. !. Vajnermann in the seventies. The sub ject has now reached a state of maturity which fully justifies the publication of this book. Also, in recent times, the topic of "quantum groups" has become very fashionable and attracted the attention of more and more mathematicians and theoret ical physicists. One is still missing a good characterization of quantum groups among Hopf algebras, similar to the character ization of Lie groups among locally compact groups. It is thus extremely valuable to develop the general theory, as this book does, with emphasis on the analytical aspects of the subject instead of the purely algebraic ones. The original motivation of M. Enock and J. -M. Schwartz can be formulated as follows: while in the Pontrjagin duality theory of locally compact abelian groups a perfect symmetry exists between a group and its dual, this is no longer true in the various duality theorems of T. Tannaka, M. G. Krein, W. F. Stinespring . . . dealing with non abelian locally compact groups. The aim is then, in the line proposed by G. !. Kac in 1961 and M. Takesaki in 1972, to find a good category of Hopf algebras, containing the category of locally compact groups and fulfilling a perfect duality.

From the 28th of February through the 3rd of March, 2001, the Department of Math ematics of the University of Florida hosted a conference on the many aspects of the field of Ordered Algebraic Structures. Officially, the title was "Conference on Lattice Ordered Groups and I-Rings," but its subject matter evolved beyond the limitations one might associate with such a label. This volume is officially the proceedings of that conference, although, likewise, it is more accurate to view it as a complement to that event. The conference was the fourth in wh at has turned into aseries of similar conferences, on Ordered Algebraic Structures, held in consecutive years. The first, held at the University of Florida in Spring, 1998, was a modest and informal affair. The fifth is in the final planning stages at this writing, for March 7-9, 2002, at Vanderbilt University. And although these events remain modest and reasonably informal, their scope has broadened, as they have succeeded in attracting mathematicians from other, related fields, as weIl as from more distant lands."

Ah Love Could you and I with Him consl?ire To grasp this sorry Scheme of things entIre' KHAYYAM People investigating algebraic groups have studied the same objects in many different guises. My first goal thus has been to take three different viewpoints and demonstrate how they offer complementary intuitive insight into the subject. In Part I we begin with a functorial idea, discussing some familiar processes for constructing groups. These turn out to be equivalent to the ring-theoretic objects called Hopf algebras, with which we can then con struct new examples. Study of their representations shows that they are closely related to groups of matrices, and closed sets in matrix space give us a geometric picture of some of the objects involved. This interplay of methods continues as we turn to specific results. In Part II, a geometric idea (connectedness) and one from classical matrix theory (Jordan decomposition) blend with the study of separable algebras. In Part III, a notion of differential prompted by the theory of Lie groups is used to prove the absence of nilpotents in certain Hopf algebras. The ring-theoretic work on faithful flatness in Part IV turns out to give the true explanation for the behavior of quotient group functors. Finally, the material is connected with other parts of algebra in Part V, which shows how twisted forms of any algebraic structure are governed by its automorphism group scheme."

The theory of algebraic groups results from the interaction of various basic techniques from field theory, multilinear algebra, commutative ring theory, algebraic geometry and general algebraic representation theory of groups and Lie algebras. It is thus an ideally suitable framework for exhibiting basic algebra in action. To do that is the principal concern of this text. Accordingly, its emphasis is on developing the major general mathematical tools used for gaining control over algebraic groups, rather than on securing the final definitive results, such as the classification of the simple groups and their irreducible representations. In the same spirit, this exposition has been made entirely self-contained; no detailed knowledge beyond the usual standard material of the first one or two years of graduate study in algebra is pre supposed. The chapter headings should be sufficient indication of the content and organisation of this book. Each chapter begins with a brief announcement of its results and ends with a few notes ranging from supplementary results, amplifications of proofs, examples and counter-examples through exercises to references. The references are intended to be merely suggestions for supplementary reading or indications of original sources, especially in cases where these might not be the expected ones. Algebraic group theory has reached a state of maturity and perfection where it may no longer be necessary to re-iterate an account of its genesis. Of the material to be presented here, including much of the basic support, the major portion is due to Claude Chevalley."

This book provides an extensive treatment of Potential Theory for sub-Laplacians on stratified Lie groups. It also provides a largely self-contained presentation of stratified Lie groups, and of their Lie algebra of left-invariant vector fields. The presentation is accessible to graduate students and requires no specialized knowledge in algebra or differential geometry.

The aim of this monograph is to give a self-contained introduction to the modern theory of finite transformation semigroups with a strong emphasis on concrete examples and combinatorial applications. It covers the following topics on the examples of the three classical finite transformation semigroups: transformations and semigroups, ideals and Green's relations, subsemigroups, congruences, endomorphisms, nilpotent subsemigroups, presentations, actions on sets, linear representations, cross-sections and variants. The book contains many exercises and historical comments and is directed first of all to both graduate and postgraduate students looking for an introduction to the theory of transformation semigroups, but also to tutors and researchers.

Projective duality is a very classical notion naturally arising in various areas of mathematics, such as algebraic and differential geometry, combinatorics, topology, analytical mechanics, and invariant theory, and the results in this field were until now scattered across the literature. Thus the appearance of a book specifically devoted to projective duality is a long-awaited and welcome event.

Projective Duality and Homogeneous Spaces covers a vast and diverse range of topics in the field of dual varieties, ranging from differential geometry to Mori theory and from topology to the theory of algebras. It gives a very readable and thorough account and the presentation of the material is clear and convincing. For the most part of the book the only prerequisites are basic algebra and algebraic geometry.

This book will be of great interest to graduate and postgraduate students as well as professional mathematicians working in algebra, geometry and analysis.

This book is a study of group theoretical properties of two dis parate kinds, firstly finiteness conditions or generalizations of fini teness and secondly generalizations of solubility or nilpotence. It will be particularly interesting to discuss groups which possess properties of both types. The origins of the subject may be traced back to the nineteen twenties and thirties and are associated with the names of R. Baer, S. N. Cernikov, K. A. Hirsch, A. G. Kuros, 0.]. Schmidt and H. Wie landt. Since this early period, the body of theory has expanded at an increasingly rapid rate through the efforts of many group theorists, particularly in Germany, Great Britain and the Soviet Union. Some of the highest points attained can, perhaps, be found in the work of P. Hall and A. I. Mal'cev on infinite soluble groups. Kuras's well-known book "The theory of groups" has exercised a strong influence on the development of the theory of infinite groups: this is particularly true of the second edition in its English translation of 1955. To cope with the enormous increase in knowledge since that date, a third volume, containing a survey of the contents of a very large number of papers but without proofs, was added to the book in 1967."

This introduction to polynomial rings, Gr bner bases and applications bridges the gap in the literature between theory and actual computation. It details numerous applications, covering fields as disparate as algebraic geometry and financial markets. To aid in a full understanding of these applications, more than 40 tutorials illustrate how the theory can be used. The book also includes many exercises, both theoretical and practical.

This book offers a detailed presentation of results needed to prove the Morse Homology Theorem using classical techniques from algebraic topology and homotopy theory. The text presents results that were formerly scattered in the mathematical literature, in a single reference with complete and detailed proofs. The core material includes CW-complexes, Morse theory, hyperbolic dynamical systems (the Lamba-Lemma, the Stable/Unstable Manifold Theorem), transversality theory, the Morse-Smale-Witten boundary operator, and Conley index theory.

This book is the result of many years of research in Non-Euclidean Geometries and Geometry of Lie groups, as well as teaching at Moscow State University (1947- 1949), Azerbaijan State University (Baku) (1950-1955), Kolomna Pedagogical Col lege (1955-1970), Moscow Pedagogical University (1971-1990), and Pennsylvania State University (1990-1995). My first books on Non-Euclidean Geometries and Geometry of Lie groups were written in Russian and published in Moscow: Non-Euclidean Geometries (1955) [Ro1] , Multidimensional Spaces (1966) [Ro2] , and Non-Euclidean Spaces (1969) [Ro3]. In [Ro1] I considered non-Euclidean geometries in the broad sense, as geometry of simple Lie groups, since classical non-Euclidean geometries, hyperbolic and elliptic, are geometries of simple Lie groups of classes Bn and D , and geometries of complex n and quaternionic Hermitian elliptic and hyperbolic spaces are geometries of simple Lie groups of classes An and en. [Ro1] contains an exposition of the geometry of classical real non-Euclidean spaces and their interpretations as hyperspheres with identified antipodal points in Euclidean or pseudo-Euclidean spaces, and in projective and conformal spaces. Numerous interpretations of various spaces different from our usual space allow us, like stereoscopic vision, to see many traits of these spaces absent in the usual space.

The legacy of Galois was the beginning of Galois theory as well as group theory. From this common origin, the development of group theory took its own course, which led to great advances in the latter half of the 20th cen tury. It was John Thompson who shaped finite group theory like no-one else, leading the way towards a major milestone of 20th century mathematics, the classification of finite simple groups. After the classification was announced around 1980, it was again J. Thomp son who led the way in exploring its implications for Galois theory. The first question is whether all simple groups occur as Galois groups over the rationals (and related fields), and secondly, how can this be used to show that all finite groups occur (the 'Inverse Problem of Galois Theory'). What are the implica tions for the stmcture and representations of the absolute Galois group of the rationals (and other fields)? Various other applications to algebra and number theory have been found, most prominently, to the theory of algebraic curves (e.g., the Guralnick-Thompson Conjecture on the Galois theory of covers of the Riemann sphere)."

This volume summarizes recent developments in the topological and algebraic structures in fuzzy sets and may be rightly viewed as a continuation of the stan dardization of the mathematics of fuzzy sets established in the "Handbook," namely the Mathematics of Fuzzy Sets: Logic, Topology, and Measure Theory, Volume 3 of The Handbooks of Fuzzy Sets Series (Kluwer Academic Publish ers, 1999). Many of the topological chapters of the present work are not only based upon the foundations and notation for topology laid down in the Hand book, but also upon Handbook developments in convergence, uniform spaces, compactness, separation axioms, and canonical examples; and thus this work is, with respect to topology, a continuation of the standardization of the Hand book. At the same time, this work significantly complements the Handbook in regard to algebraic structures. Thus the present volume is an extension of the content and role of the Handbook as a reference work. On the other hand, this volume, even as the Handbook, is a culmination of mathematical developments motivated by the renowned International Sem inar on Fuzzy Set Theory, also known as the Linz Seminar, held annually in Linz, Austria. Much of the material of this volume is related to the Twenti eth Seminar held in February 1999, material for which the Seminar played a crucial and stimulating role, especially in providing feedback, connections, and the necessary screening of ideas."

Our motivation for gathering the material for this book over aperiod of seven years has been to unify and simplify ideas wh ich appeared in a sizable number of re search articles during the past two decades. More specifically, it has been our aim to provide the categorical foundations for extensive work that was published on the epimorphism- and cowellpoweredness problem, predominantly for categories of topological spaces. In doing so we found the categorical not ion of closure operators interesting enough to be studied for its own sake, as it unifies and describes other significant mathematical notions and since it leads to a never-ending stream of ex amples and applications in all areas of mathematics. These are somewhat arbitrarily restricted to topology, algebra and (a small part of) discrete mathematics in this book, although other areas, such as functional analysis, would provide an equally rich and interesting supply of examples. We also had to restrict the themes in our theoretical exposition. In spite of the fact that closure operators generalize the uni versal closure operations of abelian category theory and of topos- and sheaf theory, we chose to mention these aspects only en passant, in favour of the presentation of new results more closely related to our original intentions. We also needed to refrain from studying topological concepts, such as compactness, in the setting of an arbitrary closure-equipped category, although this topic appears prominently in the published literature involving closure operators."

This comprehensive, encyclopedic text in four parts aims to give the reader - from the graduate student to the researcher/practitioner - a detailed understanding of modern finite semigroup theory, focusing in particular on advanced topics on the cutting edge of research. The q-theory of Finite Semigroups presents important techniques and results, many for the first time in book form, thereby updating and modernizing the semigroup theory literature.

One service mathematics has rendered the "Et moi, ..., si j'avait su comment en revenir, human race. It has put common sense back je n 'y serais point all

About 60 years ago, R. Brauer introduced "block theory"; his purpose was to study the group algebra kG of a finite group G over a field k of nonzero characteristic p: any indecomposable two-sided ideal that also is a direct summand of kG determines a G-block.
But the main discovery of Brauer is perhaps the existence of families of infinitely many nonisomorphic groups having a "common block"; i.e., blocks having mutually isomorphic "source algebras."
In this book, based on a course given by the author at Wuhan University in 1999, all the concepts mentioned are introduced, and all the proofs are developed completely. Its main purpose is the proof of the existence and the uniqueness of the "hyperfocal subalgebra" in the source algebra. This result seems fundamental in block theory; for instance, the structure of the source algebra of a nilpotent block, an important fact in block theory, can be obtained as a corollary.

The exceptional layout of this bilingual edition featuring 2 columns per page (one English, one Chinese) sharing the displayed mathematical formulas is the joint achievement of the author and A. Arabia.

Helmut Koch's classic is now available in English. Competently translated by Franz Lemmermeyer, it introduces the theory of pro-p groups and their cohomology. The book contains a postscript on the recent development of the field written by H. Koch and F. Lemmermeyer, along with many additional recent references.

The last decade witnessed an increasing interest of mathematicians in prob lems originated in mathematical physics. As a result of this effort, the scope of traditional mathematical physics changed considerably. New problems es pecially those connected with quantum physics make use of new ideas and methods. Together with classical and functional analysis, methods from dif ferential geometry and Lie algebras, the theory of group representation, and even topology and algebraic geometry became efficient tools of mathematical physics. On the other hand, the problems tackled in mathematical physics helped to formulate new, purely mathematical, theorems. This important development must obviously influence the contemporary mathematical literature, especially the review articles and monographs. A considerable number of books and articles appeared, reflecting to some extend this trend. In our view, however, an adequate language and appropriate methodology has not been developed yet. Nowadays, the current literature includes either mathematical monographs occasionally using physical terms, or books on theoretical physics focused on the mathematical apparatus. We hold the opinion that the traditional mathematical language of lem mas and theorems is not appropriate for the contemporary writing on mathe matical physics. In such literature, in contrast to the standard approaches of theoretical physics, the mathematical ideology must be utmost emphasized and the reference to physical ideas must be supported by appropriate mathe matical statements. Of special importance are the results and methods that have been developed in this way for the first time."

Lattice-valued Logic aims at establishing the logical foundation for uncertain information processing routinely performed by humans and artificial intelligence systems. In this textbook for the first time a general introduction on lattice-valued logic is given. It systematically summarizes research from the basic notions up to recent results on lattice implication algebras, lattice-valued logic systems based on lattice implication algebras, as well as the corresponding reasoning theories and methods. The book provides the suitable theoretical logical background of lattice-valued logic systems and supports newly designed intelligent uncertain-information-processing systems and a wide spectrum of intelligent learning tasks.

Every Abelian group can be related to an associative ring with an identity element, the ring of all its endomorphisms. Recently the theory of endomor phism rings of Abelian groups has become a rapidly developing area of algebra. On the one hand, it can be considered as a part of the theory of Abelian groups; on the other hand, the theory can be considered as a branch of the theory of endomorphism rings of modules and the representation theory of rings. There are several reasons for studying endomorphism rings of Abelian groups: first, it makes it possible to acquire additional information about Abelian groups themselves, to introduce new concepts and methods, and to find new interesting classes of groups; second, it stimulates further develop ment of the theory of modules and their endomorphism rings. The theory of endomorphism rings can also be useful for studies of the structure of additive groups of rings, E-modules, and homological properties of Abelian groups. The books of Baer [52] and Kaplansky [245] have played an important role in the early development of the theory of endomorphism rings of Abelian groups and modules. Endomorphism rings of Abelian groups are much stu died in monographs of Fuchs [170], [172], and [173]. Endomorphism rings are also studied in the works of Kurosh [287], Arnold [31], and Benabdallah [63].

Some Historical Background This book deals with the cohomology of groups, particularly finite ones. Historically, the subject has been one of significant interaction between algebra and topology and has directly led to the creation of such important areas of mathematics as homo logical algebra and algebraic K-theory. It arose primarily in the 1920's and 1930's independently in number theory and topology. In topology the main focus was on the work ofH. Hopf, but B. Eckmann, S. Eilenberg, and S. MacLane (among others) made significant contributions. The main thrust of the early work here was to try to understand the meanings of the low dimensional homology groups of a space X. For example, if the universal cover of X was three connected, it was known that H2(X; A. ) depends only on the fundamental group of X. Group cohomology initially appeared to explain this dependence. In number theory, group cohomology arose as a natural device for describing the main theorems of class field theory and, in particular, for describing and analyzing the Brauer group of a field. It also arose naturally in the study of group extensions, N"

The theory of transcendental numbers is closely related to the study of diophantine approximation. This book deals with values of the usual exponential function ez: a central open problem is the conjecture on algebraic independence of logarithms of algebraic numbers. Two chapters provide complete and simplified proofs of zero estimates (due to Philippon) on linear algebraic groups.