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."

17):~t? L It CIFDr- ! wei! unsre Weisheit Einfalt ist, From "Lohengrin", Richard Wagner At the time of the appearance of the first volume of this work in 1967, the tempestuous development of finite group theory had already made it virtually impossible to give a complete presentation of the subject in one treatise. The present volume and its successor have therefore the more modest aim of giving descriptions of the recent development of certain important parts of the subject, and even in these parts no attempt at completeness has been made. Chapter VII deals with the representation theory of finite groups in arbitrary fields with particular attention to those of non-zero charac teristic. That part of modular representation theory which is essentially the block theory of complex characters has not been included, as there are already monographs on this subject and others will shortly appear. Instead, we have restricted ourselves to such results as can be obtained by purely module-theoretical means.

The algebra of square matrices of size n ~ 2 over the field of complex numbers is, evidently, the best-known example of a non-commutative alge 1 bra * Subalgebras and subrings of this algebra (for example, the ring of n x n matrices with integral entries) arise naturally in many areas of mathemat ics. Historically however, the study of matrix algebras was preceded by the discovery of quatemions which, introduced in 1843 by Hamilton, found ap plications in the classical mechanics of the past century. Later it turned out that quaternion analysis had important applications in field theory. The al gebra of quaternions has become one of the classical mathematical objects; it is used, for instance, in algebra, geometry and topology. We will briefly focus on other examples of non-commutative rings and algebras which arise naturally in mathematics and in mathematical physics. The exterior algebra (or Grassmann algebra) is widely used in differential geometry - for example, in geometric theory of integration. Clifford algebras, which include exterior algebras as a special case, have applications in rep resentation theory and in algebraic topology. The Weyl algebra (Le. algebra of differential operators with* polynomial coefficients) often appears in the representation theory of Lie algebras. In recent years modules over the Weyl algebra and sheaves of such modules became the foundation of the so-called microlocal analysis. The theory of operator algebras (Le.

In the early 70's and 80's the field of integrable systems was in its prime youth: results and ideas were mushrooming all over the world. It was during the roaring 70's and 80's that a first version of the book was born, based on our research and on lectures which each of us had given. We owe many ideas to our colleagues Teruhisa Matsusaka and David Mumford, and to our inspiring graduate students (Constantin Bechlivanidis, Luc Haine, Ahmed Lesfari, Andrew McDaniel, Luis Piovan and Pol Vanhaecke). As it stood, our first version lacked rigor and precision, was rough, dis connected and incomplete. . . In the early 90's new problems appeared on the horizon and the project came to a complete standstill, ultimately con fined to a floppy. A few years ago, under the impulse of Pol Vanhaecke, the project was revived and gained real momentum due to his insight, vision and determination. The leap from the old to the new version is gigantic. The book is designed as a teaching textbook and is aimed at a wide read ership of mathematicians and physicists, graduate students and professionals."

This is the second volume of the new subseries "Invariant Theory and Algebraic Transformation Groups." The aim of the survey by A. Bialynicki-Birula is to present the main trends and achievements of research in the theory of quotients by actions of algebraic groups. This theory contains geometric invariant theory with various applications to problems of moduli theory. The contribution by J. Carrell treats the subject of torus actions on algebraic varieties, giving a detailed exposition of many of the cohomological results one obtains from having a torus action with fixed points. Many examples, such as toric varieties and flag varieties, are discussed in detail. W.M. McGovern studies the actions of a semisimple Lie or algebraic group on its Lie algebra via the adjoint action and on itself via conjugation. His contribution focuses primarily on nilpotent orbits that have found the widest application to representation theory in the last thirty-five years.

The 12 lectures presented in Representation Theories and Algebraic Geometry focus on the very rich and powerful interplay between algebraic geometry and the representation theories of various modern mathematical structures, such as reductive groups, quantum groups, Hecke algebras, restricted Lie algebras, and their companions. This interplay has been extensively exploited during recent years, resulting in great progress in these representation theories. Conversely, a great stimulus has been given to the development of such geometric theories as D-modules, perverse sheafs and equivariant intersection cohomology. The range of topics covered is wide, from equivariant Chow groups, decomposition classes and Schubert varieties, multiplicity free actions, convolution algebras, standard monomial theory, and canonical bases, to annihilators of quantum Verma modules, modular representation theory of Lie algebras and combinatorics of representation categories of Harish-Chandra modules.

1. Preliminaries, Notation, and Terminology n n 1.1. Sets and functions in lR. * Throughout the book, lR. stands for the n-dimensional arithmetic space of points x = (X},X2,'" ,xn)j Ixl is the length of n n a vector x E lR. and (x, y) is the scalar product of vectors x and y in lR. , i.e., for x = (Xl, X2, *.* , xn) and y = (y}, Y2,**., Yn), Ixl = Jx~ + x~ + ...+ x~, (x, y) = XIYl + X2Y2 + ...+ XnYn. n Given arbitrary points a and b in lR. , we denote by [a, b] the segment that joins n them, i.e. the collection of points x E lR. of the form x = >.a + I'b, where>. + I' = 1 and >. ~ 0, I' ~ O. n We denote by ei, i = 1,2, ...,n, the vector in lR. whose ith coordinate is equal to 1 and the others vanish. The vectors el, e2, ...,en form a basis for the space n lR. , which is called canonical. If P( x) is some proposition in a variable x and A is a set, then {x E A I P(x)} denotes the collection of all the elements of A for which the proposition P( x) is true.

by spin or (spin s = 1/2) field equations is emphasized because their solutions can be used for constructing solutions of other field equations insofar as fields with any spin may be constructed from spin s = 1/2 fields. A brief account of the main ideas of the book is presented in the Introduction. The book is largely based on the authors' works 55-109, 176-189, 13-16, 7*-14*,23*, 24*] carried out in the Institute of Mathematics, Academy of Sciences of the Ukraine. References to other sources is not intended to imply completeness. As a rule, only those works used directly are cited. The authors wish to express their gratitude to Academician Yu.A. Mitropoi sky, and to Academician of Academy of Sciences of the Ukraine O.S. Parasyuk, for basic support and stimulation over the course of many years; to our cowork ers in the Department of Applied Studies, LA. Egorchenko, R.Z. Zhdanov, A.G. Nikitin, LV. Revenko, V.L Lagno, and I.M. Tsifra for assistance with the manuscript."

Simplicity theory is an extension of stability theory to a wider class of structures, containing, among others, the random graph, pseudo-finite fields, and fields with a generic automorphism. Following Kim's proof of forking symmetry' which implies a good behaviour of model-theoretic independence, this area of model theory has been a field of intense study. It has necessitated the development of some important new tools, most notably the model-theoretic treatment of hyperimaginaries (classes modulo type-definable equivalence relations). It thus provides a general notion of independence (and of rank in the supersimple case) applicable to a wide class of algebraic structures. The basic theory of forking independence is developed, and its properties in a simple structure are analyzed. No prior knowledge of stability theory is assumed; in fact many stability-theoretic results follow either from more general propositions, or are developed in side remarks. Audience: This book is intended both as an introduction to simplicity theory accessible to graduate students with some knowledge of model theory, and as a reference work for research in the field.

0.1. General remarks. For any algebraic system A, the set SubA of all subsystems of A partially ordered by inclusion forms a lattice. This is the subsystem lattice of A. (In certain cases, such as that of semigroups, in order to have the right always to say that SubA is a lattice, we have to treat the empty set as a subsystem.) The study of various inter-relationships between systems and their subsystem lattices is a rather large field of investigation developed over many years. This trend was formed first in group theory; basic relevant information up to the early seventies is contained in the book [Suz] and the surveys [K Pek St], [Sad 2], [Ar Sad], there is also a quite recent book [Schm 2]. As another inspiring source, one should point out a branch of mathematics to which the book [Baer] was devoted. One of the key objects of examination in this branch is the subspace lattice of a vector space over a skew field. A more general approach deals with modules and their submodule lattices. Examining subsystem lattices for the case of modules as well as for rings and algebras (both associative and non-associative, in particular, Lie algebras) began more than thirty years ago; there are results on this subject also for lattices, Boolean algebras and some other types of algebraic systems, both concrete and general. A lot of works including several surveys have been published here.

For many, modern functional analysis dates back to Banach's book [Ba32]. Here, such powerful results as the Hahn-Banach theorem, the open-mapping theorem and the uniform boundedness principle were developed in the setting of complete normed and complete metrizable spaces. When analysts realized the power and applicability of these methods, they sought to generalize the concept of a metric space and to broaden the scope of these theorems. Topological methods had been generally available since the appearance of Hausdorff's book in 1914. So it is surprising that it took so long to recognize that they could provide the means for this generalization. Indeed, the theory of topo- logical vector spaces was developed systematically only after 1950 by a great many different people, induding Bourbaki, Dieudonne, Grothendieck, Kothe, Mackey, Schwartz and Treves. The resulting body of work produced a whole new area of mathematics and generalized Banach's results. One of the great successes here was the development of the theory of distributions. While the not ion of a convergent sequence is very old, that of a convergent fil- ter dates back only to Cartan [Ca]. And while sequential convergence structures date back to Frechet [Fr], filter convergence structures are much more recent: [Ch], [Ko] and [Fi]. Initially, convergence spaces and convergence vector spaces were used by [Ko], [Wl], [Ba], [Ke64], [Ke65], [Ke74], [FB] and in particular [Bz] for topology and analysis.

Modem geometric methods combine the intuitiveness of spatial visualization with the rigor of analytical derivation. Classical analysis is shown to provide a foundation for the study of geometry while geometrical ideas lead to analytical concepts of intrinsic beauty. Arching over many subdisciplines of mathematics and branching out in applications to every quantitative science, these methods are, notes the Russian mathematician A.T. Fomenko, in tune with the Renais sance traditions. Economists and finance theorists are already familiar with some aspects of this synthetic tradition. Bifurcation and catastrophe theo ries have been used to analyze the instability of economic models. Differential topology provided useful techniques for deriving results in general equilibrium analysis. But they are less aware of the central role that Felix Klein and Sophus Lie gave to group theory in the study of geometrical systems. Lie went on to show that the special methods used in solving differential equations can be classified through the study of the invariance of these equations under a continuous group of transformations. Mathematicians and physicists later recognized the relation between Lie's work on differential equations and symme try and, combining the visions of Hamilton, Lie, Klein and Noether, embarked on a research program whose vitality is attested by the innumerable books and articles written by them as well as by biolo gists, chemists and philosophers."

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."

It is a great satisfaction for a mathematician to witness the growth and expansion of a theory in which he has taken some part during its early years. When H. Weyl coined the words "classical groups", foremost in his mind were their connections with invariant theory, which his famous book helped to revive. Although his approach in that book was deliberately algebraic, his interest in these groups directly derived from his pioneering study of the special case in which the scalars are real or complex numbers, where for the first time he injected Topology into Lie theory. But ever since the definition of Lie groups, the analogy between simple classical groups over finite fields and simple classical groups over IR or C had been observed, even if the concept of "simplicity" was not quite the same in both cases. With the discovery of the exceptional simple complex Lie algebras by Killing and E. Cartan, it was natural to look for corresponding groups over finite fields, and already around 1900 this was done by Dickson for the exceptional Lie algebras G and E * However, a deep reason for this 2 6 parallelism was missing, and it is only Chevalley who, in 1955 and 1961, discovered that to each complex simple Lie algebra corresponds, by a uniform process, a group scheme (fj over the ring Z of integers, from which, for any field K, could be derived a group (fj(K).

Our prime concern in this book is to discuss some most interesting prosppcts that have occurred recently in conformally invariant quantum field theory in a D-diuwnsional space. One of the most promising trends is constructing an pxact solution for a cprtain class of models. This task seems to be quite feasible in the light of recent resllits. The situation here is to some extent similar to what was going on in the past ypars with the two-dimensional quantum field theory. Our investigation of conformal Ward identities in a D-dimensional space, carried out as far hack as the late H. J7Gs, showed that in the D-dimensional quantum field theory, irrespective of the type of interartion, there exists a special set of states of the field with the following property: if we rpqllire that one of these states should vanish, this determines an exact solution of 3. certain field model. These states are analogous to null-vectors which determine the minimal models in the two-dimensional field theory. On the other hand, the recent resparches supplied us with a number of indications on the existencp of an intinite-parampter algebra analogous to the Virasoro algebra in spaces of higher dimensions D 2: :~. It has also been shown that this algebra admits an operator rentral expansion. It seems to us that the above-mentioned models are field theoretical realizations of the representations of these new symmetries for D 2: ;3.

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.

This volume contains the proceedings of the First Ukrainian-French Romanian School "Algebraic and Geometric Methods in Mathematical Physics," held in Kaciveli, Crimea (Ukraine) from 1 September ti1114 September 1993. The School was organized by the generous support of the Ministry of Research and Space of France (MRE), the Academy of Sciences of Ukraine (ANU), the French National Center for Scientific Research (CNRS) and the State Committee for Science and Technologies of Ukraine (GKNT). Members of the International Scientific Committee were: J.-M. Bony (paris), A. Boutet de Monvel-Berthier (Paris, co-chairman), P. Cartier (paris), V. Drinfeld (Kharkov), V. Georgescu (Paris), J.L. Lebowitz (Rutgers), V. Marchenko (Kharkov, co-chairman), V.P. Maslov (Moscow), H. Mc-Kean (New-York), Yu. Mitropolsky (Kiev), G. Nenciu (Bucharest, co-chairman), S. Novikov (Moscow), G. Papanicolau (New-York), L. Pastur (Kharkov), J.-J. Sansuc (Paris). The School consisted of plenary lectures (morning sessions) and special sessions. The plenary lectures were intended to be accessible to all participants and plenary speakers were invited by the scientific organizing committee to give reviews of their own field of interest. The special sessions were devoted to a variety of more concrete and technical questions in the respective fields. According to the program the plenary lectures included in the volume are grouped in three chapters. The fourth chapter contains short communications."

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].

This book has developed from a series of lectures which were given by the author in mechanics-mathematics department of the Moscow State University. In 1981 the course "Additional chapters in algebra" replaced the course "Gen eral algebra" which was founded by A. G. Kurosh (1908-1971), professor and head of the department of higher algebra for a period of several decades. The material of this course formed the basis of A. G. Kurosh's well-known book "Lectures on general algebra" (Moscow,1962; 2-nd edition: Moscow, Nauka, 1973) and the book "General algebra. Lectures of 1969-1970. " (Moscow, Nauka, 1974). Another book based on the course, "Elements of general al gebra" (M.: Nauka, 1983) was published by L. A. Skorniakov, professor, now deceased, in the same department. It should be noted that A. G. Kurosh was not only the lecturer for the course "General algebra" but he was also the recognized leader of the scientific school of the same name. It is difficult to determine the limits of this school; however, the "Lectures . . . " of 1962 men tioned above contain some material which exceed these limits. Eventually this effect intensified: the lectures of the course were given by many well-known scientists, and some of them see themselves as "general algebraists." Each lecturer brought significant originality not only in presentation of the material but in the substance of the course. Therefore not all material which is now accepted as necessary for algebraic students fits within the scope of general algebra."

A partially ordered group is an algebraic object having the structure of a group and the structure of a partially ordered set which are connected in some natural way. These connections were established in the period between the end of 19th and beginning of 20th century. It was realized that ordered algebraic systems occur in various branches of mathemat ics bound up with its fundamentals. For example, the classification of infinitesimals resulted in discovery of non-archimedean ordered al gebraic systems, the formalization of the notion of real number led to the definition of ordered groups and ordered fields, the construc tion of non-archimedean geometries brought about the investigation of non-archimedean ordered groups and fields. The theory of partially ordered groups was developed by: R. Dedekind, a. Holder, D. Gilbert, B. Neumann, A. I. Mal'cev, P. Hall, G. Birkhoff. These connections between partial order and group operations allow us to investigate the properties of partially ordered groups. For exam ple, partially ordered groups with interpolation property were intro duced in F. Riesz's fundamental paper 1] as a key to his investigations of partially ordered real vector spaces, and the study of ordered vector spaces with interpolation properties were continued by many functional analysts since. The deepest and most developed part of the theory of partially ordered groups is the theory of lattice-ordered groups. In the 40s, following the publications of the works by G. Birkhoff, H. Nakano and P."

A description of the global properties of simply-connected spaces that are non-positively curved in the sense of A. D. Alexandrov, and the structure of groups which act on such spaces by isometries. The theory of these objects is developed in a manner accessible to anyone familiar with the rudiments of topology and group theory: non-trivial theorems are proved by concatenating elementary geometric arguments, and many examples are given. Part I provides an introduction to the geometry of geodesic spaces, while Part II develops the basic theory of spaces with upper curvature bounds. More specialized topics, such as complexes of groups, are covered in Part III.

Recent major advances in model theory include connections between model theory and Diophantine and real analytic geometry, permutation groups, and finite algebras. The present book contains lectures on recent results in algebraic model theory, covering topics from the following areas: geometric model theory, the model theory of analytic structures, permutation groups in model theory, the spectra of countable theories, and the structure of finite algebras. Audience: Graduate students in logic and others wishing to keep abreast of current trends in model theory. The lectures contain sufficient introductory material to be able to grasp the recent results presented.

This book, in some sense, began to be written by the first author in 1983, when optional lectures on Abelian groups were held at the Fac ulty of Mathematics and Computer Science, 'Babes-Bolyai' University in Cluj-Napoca, Romania. From 1992, these lectures were extended to a twosemester electivecourse on abelian groups for undergraduate stu dents, followed by a twosemester course on the same topic for graduate students in Algebra. All the other authors attended these two years of lectures and are now Assistants to the Chair of Algebra of this Fac ulty. The first draft of this collection, including only exercises solved by students as home works, the last ten years, had 160pages. We felt that there is a need for a book such as this one, because it would provide a nice bridge between introductory Abelian Group Theory and more advanced research problems. The book InfiniteAbelianGroups, published by LaszloFuchsin two volumes 1970 and 1973 willwithout doubt last as the most important guide for abelian group theorists. Many exercises are selected from this source but there are plenty of other bibliographical items (see the Bibliography) which were used in order to make up this collection. For some of the problems stated, recent developments are also given. Nevertheless, there are plenty of elementary results (the so called 'folklore') in Abelian Group Theory whichdo not appear in any written material. It is also one purpose of this book to complete this gap."

This volume contains one invited lecture which was presented by the 1994 Fields Medal ist Professor E. Zelmanov and twelve other papers which were presented at the Third International Conference on Algebra and Their Related Topics at Chang Jung Christian University, Tainan, Republic of China, during the period June 26-July 1, 200l. All papers in this volume have been refereed by an international referee board and we would like to express our deepest thanks to all the referees who were so helpful and punctual in submitting their reports. Thanks are also due to the Promotion and Research Center of National Science Council of Republic of China and the Chang Jung Christian University for their generous financial support of this conference. The spirit of this conference is a continuation of the last two International Tainan Moscow Algebra Workshop on Algebras and Their Related Topics which were held in the mid-90's of the last century. The purpose of this very conference was to give a clear picture of the recent development and research in the fields of different kinds of algebras both in Taiwan and in the rest ofthe world, especially say, Russia" Europe, North America and South America. Thus, we were hoping to enhance the possibility of future cooperation in research work among the algebraists ofthe five continents. Here we would like to point out that this algebra gathering will constantly be held in the future in the southern part of Taiwan."

This is a book about representing symmetry in quantum mechanics. The book is on a graduate and/or researcher level and it is written with an attempt to be concise, to respect conceptual clarity and mathematical rigor. The basic structures of quantum mechanics are used to identify the automorphism group of quantum mechanics. The main concept of a symmetry action is defined as a group homomorphism from a given group, the group of symmetries, to the automorphism group of quantum mechanics. The structure of symmetry actions is determined under the assumption that the symmetry group is a Lie group. The Galilei invariance is used to illustrate the general theory by giving a systematic presentation of a Galilei invariant elementary particle. A brief description of the Galilei invariant wave equations is also given.