This volume is a consequence of a series of seminars presented by the authors at the Infrared Spectroscopy Institute, Canisius College, Buffalo, New York, over the last nine years. Many participants on an intermediate level lacked a sufficient background in mathematics and quantum mechan ics, and it became evident that a non mathematical or nearly nonmathe matical approach would be necessary. The lectures were designed to fill this need and proved very successful. As a result of the interest that was developed in this approach, it was decided to write this book. The text is intended for scientists and students with only limited theore tical background in spectroscopy, but who are sincerely interested in the interpretation of molecular spectra. The book develops the detailed selection rules for fundamentals, combinations, and overtones for molecules in several point groups. Detailed procedures used in carrying out the normal coordinate treatment for several molecules are also presented. Numerous examples from the literature illustrate the use of group theory in the in terpretation of molecular spectra and in the determination of molecular structure.

Aimed at readers who have learned the principles of harmonic analysis, this book provides a variety of perspectives on this very important classical subject. The authors have written a truly outstanding book which distinguishes itself by its excellent expository style.

This volume presents the core of invited expository lectures given at the 1993 NATO ASI held at the University of York. The subject matter of the ASI was the interplay between automata, semigroups, formal languages and groups. The invited talks were of an introductory nature but at a high level and many reached the cutting edge of research in the area. The lectures were given to a mixed group of students and specialists and were designed to be accessible to a broad audience. The papers were written in a similar spirit in the hope that their readership will be as wide as possible. With one exception they are all based on the talks which the lecturers gave at the meeting. The exception is caused by the fact that due to unanticipated progress the topic of John Rhodes' talk is now in such a state of flux that it has not been possible to produce a paper giving a clear picture of the situation. However, we do include an article by a member of the "Rhodes school" , namely Christopher Nehaniv, expanding on a contributed talk he gave. It generalizes the celebrated Krohn-Rhodes theorem for finite semigroups to all semigroups. For many years there has been a strong link between formal language theory and the theory of semigroups. Each subject continues to influence the other.

One of the characteristics of modern algebra is the development of new tools and concepts for exploring classes of algebraic systems, whereas the research on individual algebraic systems (e. g. , groups, rings, Lie algebras, etc. ) continues along traditional lines. The early work on classes of alge bras was concerned with showing that one class X of algebraic systems is actually contained in another class F. Modern research into the theory of classes was initiated in the 1930's by Birkhoff's work [1] on general varieties of algebras, and Neumann's work [1] on varieties of groups. A. I. Mal'cev made fundamental contributions to this modern development. ln his re ports [1, 3] of 1963 and 1966 to The Fourth All-Union Mathematics Con ference and to another international mathematics congress, striking the ories of classes of algebraic systems were presented. These were later included in his book [5]. International interest in the theory of formations of finite groups was aroused, and rapidly heated up, during this time, thanks to the work of Gaschiitz [8] in 1963, and the work of Carter and Hawkes [1] in 1967. The major topics considered were saturated formations, Fitting classes, and Schunck classes. A class of groups is called a formation if it is closed with respect to homomorphic images and subdirect products. A formation is called saturated provided that G E F whenever Gjip(G) E F.

In many ways the last decade has witnessed a surge of interest in the interplay between theoretical physics and some traditional areas of pure mathematics. This book contains the lectures delivered at the NATO-ASI Summer School on `Recent Problems in Mathematical Physics' held at Salamanca, Spain (1992), offering a pedagogical and updated approach to some of the problems that have been at the heart of these events. Among them, we should mention the new mathematical structures related to integrability and quantum field theories, such as quantum groups, conformal field theories, integrable statistical models, and topological quantum field theories, that are discussed at length by some of the leading experts on the areas in several of the lectures contained in the book. Apart from these, traditional and new problems in quantum gravity are reviewed. Other contributions to the School included in the book range from symmetries in partial differential equations to geometrical phases in quantum physics. The book is addressed to researchers in the fields covered, PhD students and any scientist interested in obtaining an updated view of the subjects.

On the occasion of the 150th anniversary of Sophus Lie, an International Work shop "Modern Group Analysis: advanced analytical and computational methods in mathematical physics" has been organized in Acireale (Catania, Sicily, October 27 31, 1992). The Workshop was aimed to enlighten the present state ofthis rapidly expanding branch of applied mathematics. Main topics of the Conference were: * classical Lie groups applied for constructing invariant solutions and conservation laws; * conditional (partial) symmetries; * Backlund transformations; * approximate symmetries; * group analysis of finite-difference equations; * problems of group classification; * software packages in group analysis. The success of the Workshop was due to the participation of many experts in Group Analysis from different countries. This book consists of selected papers presented at the Workshop. We would like to thank the Scientific Committee for the generous support of recommending invited lectures and selecting the papers for this volume, as well as the members of the Organizing Committee for their help. The Workshop was made possible by the financial support of several sponsors that are listed below. It is also a pleasure to thank our colleague Enrico Gregorio for his invaluable help of this volume.

Modern algebra, which not long ago seemed to be a science divorced from real life, now has numerous applications. Many fine algebraic structures are endowed with meaningful contents. Now and then practice suggests new and unexpected structures enriching algebra. This does not mean that algebra has become merely a tool for applications. Quite the contrary, it significantly benefits from the new connections. The present book is devoted to some algebraic aspects of the theory of databases. It consists of three parts. The first part contains information about universal algebra, algebraic logic is the subject of the second part, and the third one deals with databases. The algebraic material of the flI'St two parts serves the common purpose of applying algebra to databases. The book is intended for use by mathematicians, and mainly by algebraists, who realize the necessity to unite theory and practice. It is also addressed to programmers, engineers and all potential users of mathematics who want to construct their models with the help of algebra and logic. Nowadays, the majority of professional mathematicians work in close cooperation with representatives of applied sciences and even industrial technology. It is neces sary to develop an ability to see mathematics in different particular situations. One of the tasks of this book is to promote the acquisition of such skills."

The success of the first edition of this book has encouraged us to revise and update it. In the second edition we have attempted to further clarify por tions of the text in reference to point symmetry, keeping certain sections and removing others. The ever-expanding interest in solids necessitates some discussion on space symmetry. In this edition we have expanded the discus sion on point symmetry to include space symmetry. The selection rules in clude space group selection rules (for k = 0). Numerous examples are pro vided to acquaint the reader with the procedure necessary to accomplish this. Recent examples from the literature are given to illustrate the use of group theory in the interpretation of molecular spectra and in the determination of molecular structure. The text is intended for scientists and students with only a limited theoretical background in spectroscopy. For this reason we have presented detailed procedures for carrying out the selection rules and normal coor dinate treatment of molecules. We have chosen to exclude discussion on symmetry aspects of molecular orbital theory and ligand field theory. It has been our approach to highlight vibrational data only, primarily to keep the size and cost of the book to a reasonable limit."

This text is intended to serve as an introduction to the geometry of the action of discrete groups of Mobius transformations. The subject matter has now been studied with changing points of emphasis for over a hundred years, the most recent developments being connected with the theory of 3-manifolds: see, for example, the papers of Poincare [77] and Thurston [101]. About 1940, the now well-known (but virtually unobtainable) Fenchel-Nielsen manuscript appeared. Sadly, the manuscript never appeared in print, and this more modest text attempts to display at least some of the beautiful geo metrical ideas to be found in that manuscript, as well as some more recent material. The text has been written with the conviction that geometrical explana tions are essential for a full understanding of the material and that however simple a matrix proof might seem, a geometric proof is almost certainly more profitable. Further, wherever possible, results should be stated in a form that is invariant under conjugation, thus making the intrinsic nature of the result more apparent. Despite the fact that the subject matter is concerned with groups of isometries of hyperbolic geometry, many publications rely on Euclidean estimates and geometry. However, the recent developments have again emphasized the need for hyperbolic geometry, and I have included a comprehensive chapter on analytical (not axiomatic) hyperbolic geometry. It is hoped that this chapter will serve as a "dictionary" offormulae in plane hyperbolic geometry and as such will be of interest and use in its own right.

In recent times it has been stated that many dynamical systems of classical mathematical physics and mechanics are endowed with symplectic structures, given in the majority of cases by Poisson brackets. Very often such Poisson structures on corresponding manifolds are canonical, which gives rise to the possibility of producing their hidden group theoretical essence for many completely integrable dynamical systems. It is a well understood fact that great part of comprehensive integrability theories of nonlinear dynamical systems on manifolds is based on Lie-algebraic ideas, by means of which, in particular, the classification of such compatibly bi Hamiltonian and isospectrally Lax type integrable systems has been carried out. Many chapters of this book are devoted to their description, but to our regret so far the work has not been completed. Hereby our main goal in each analysed case consists in separating the basic algebraic essence responsible for the complete integrability, and which is, at the same time, in some sense universal, i. e., characteristic for all of them. Integrability analysis in the framework of a gradient-holonomic algorithm, devised in this book, is fulfilled through three stages: 1) finding a symplectic structure (Poisson bracket) transforming an original dynamical system into a Hamiltonian form; 2) finding first integrals (action variables or conservation laws); 3) defining an additional set of variables and some functional operator quantities with completely controlled evolutions (for instance, as Lax type representation)."

Near-Rings and Near-Fields opens with three invited lectures on different aspects of the history of near-ring theory. These are followed by 26 papers reflecting the diversity of the subject in regard to geometry, topological groups, automata, coding theory and probability, as well as the purely algebraic structure theory of near-rings. Audience: Graduate students of mathematics and algebraists interested in near-ring theory.

The aim of this book is the classification of symplectic amalgams - structures which are intimately related to the finite simple groups. In all there sixteen infinite families of symplectic amalgams together with 62 more exotic examples. The classification touches on many important aspects of modern group theory: * p-local analysis * the amalgam method * representation theory over finite fields; and * properties of the finite simple groups. The account is for the most part self-contained and the wealth of detail makes this book an excellent introduction to these recent developments for graduate students, as well as a valuable resource and reference for specialists in the area.

The subject of this book is the hierarchies of integrable equations connected with the one-component and multi component loop groups. There are many publications on this subject, and it is rather well defined. Thus, the author would like t.o explain why he has taken the risk of revisiting the subject. The Sato Grassmannian approach, and other approaches standard in this context, reveal deep mathematical structures in the base of the integrable hi erarchies. These approaches concentrate mostly on the algebraic picture, and they use a language suitable for applications to quantum field theory. Another well-known approach, the a-dressing method, developed by S. V. Manakov and V.E. Zakharov, is oriented mostly to particular systems and ex act classes of their solutions. There is more emphasis on analytic properties, and the technique is connected with standard complex analysis. The language of the a-dressing method is suitable for applications to integrable nonlinear PDEs, integrable nonlinear discrete equations, and, as recently discovered, for t.he applications of integrable systems to continuous and discret.e geometry. The primary motivation of the author was to formalize the approach to int.e grable hierarchies that was developed in the context of the a-dressing method, preserving the analytic struetures characteristic for this method, but omitting the peculiarit.ies of the construetive scheme. And it was desirable to find a start."

In recent years, it has become increasingly clear that there are important connections relating three concepts -- groupoids, inverse semigroups, and operator algebras. There has been a great deal of progress in this area over the last two decades, and this book gives a careful, up-to-date and reasonably extensive account of the subject matter. After an introductory first chapter, the second chapter presents a self-contained account of inverse semigroups, locally compact and r-discrete groupoids, and Lie groupoids. The section on Lie groupoids in chapter 2 contains a detailed discussion of groupoids particularly important in noncommutative geometry, including the holonomy groupoids of a foliated manifold and the tangent groupoid of a manifold. The representation theories of locally compact and r-discrete groupoids are developed in the third chapter, and it is shown that the C*-algebras of r-discrete groupoids are the covariance C*-algebras for inverse semigroup actions on locally compact Hausdorff spaces. A final chapter associates a universal r-discrete groupoid with any inverse semigroup. Six subsequent appendices treat topics related to those covered in the text. The book should appeal to a wide variety of professional mathematicians and graduate students in fields such as operator algebras, analysis on groupoids, semigroup theory, and noncommutative geometry. It will also be of interest to mathematicians interested in tilings and theoretical physicists whose focus is modeling quasicrystals with tilings. An effort has been made to make the book lucid and 'user friendly"; thus it should be accessible to any reader with a basic background in measure theory and functional analysis.

During the last twenty-five years quite remarkable relations between nonas sociative algebra and differential geometry have been discovered in our work. Such exotic structures of algebra as quasigroups and loops were obtained from purely geometric structures such as affinely connected spaces. The notion ofodule was introduced as a fundamental algebraic invariant of differential geometry. For any space with an affine connection loopuscular, odular and geoodular structures (partial smooth algebras of a special kind) were introduced and studied. As it happened, the natural geoodular structure of an affinely connected space al lows us to reconstruct this space in a unique way. Moreover, any smooth ab stractly given geoodular structure generates in a unique manner an affinely con nected space with the natural geoodular structure isomorphic to the initial one. The above said means that any affinely connected (in particular, Riemannian) space can be treated as a purely algebraic structure equipped with smoothness. Numerous habitual geometric properties may be expressed in the language of geoodular structures by means of algebraic identities, etc.. Our treatment has led us to the purely algebraic concept of affinely connected (in particular, Riemannian) spaces; for example, one can consider a discrete, or, even, finite space with affine connection (in the form ofgeoodular structure) which can be used in the old problem of discrete space-time in relativity, essential for the quantum space-time theory."

* Introduces the fundamental theory of vertex operator algebras and its basic techniques and examples. * Begins with a detailed presentation of the theoretical foundations and proceeds to a range of applications. * Includes a number of new, original results and brings fresh perspective to important works of many other researchers in algebra, lie theory, representation theory, string theory, quantum field theory, and other areas of math and physics.

This revised, enlarged edition of Linear Algebraic Groups (1969) starts by presenting foundational material on algebraic groups, Lie algebras, transformation spaces, and quotient spaces. It then turns to solvable groups, general properties of linear algebraic groups, and Chevally's structure theory of reductive groups over algebraically closed groundfields. It closes with a focus on rationality questions over non-algebraically closed fields.

x system Ib-TEX. I wish to thank her for the beautiful work and the numerous discussions on the contents of this book. I am indebted to Peter Fassler, Neu-Technikum Buchs, Switzerland, for drafting the figures, to my students Kurt Rothermann and Stefan Strahl for computer enhancing and labeling the graphics, to Pascal Felder and Markus Wittwer for a simulation program that generated the figures in the stochastics sections. My thanks go to my new colleague at work, Daniel Neuenschwander, for the inspiring discussions related to the section in stochastics and for reading the manuscript to it. I am also grateful to Dacfey Dzung for reading the whole manuscript. Thanks go especially to Professor \Valter Gander of ETH, Zurich, who at the finishing stage and as an expert of 'JEXgenerously invested numerous hours to assist us in solving software as well as hardware problems; thanks go also to Martin Muller, Ingenieurschule Biel, who made the final layout of this book on the NeXT computer. Thanks are also due to Helmut Kopka of the Max Planck Institute, for solving software problems, and to Professor Burchard Kaup of the Uni versity of Fribourg, Switzerland for adding some useful software; also to Birkhauser Boston Inc. for the pleasant co-operation. Finally, let me be reminiscent of Professor E. Stiefel (deceased 1978) with whom I had many interesting discussions and true co-operation when writing the book in German."

This comprehensive volume develops all of the standard features of Fourier analysis - Fourier series, Fourier transform, Fourier sine and cosine transforms, and wavelets. The books approach emphasizes the role of the "selector" functions, and is not embedded in the usual engineering context, which makes the material more accessible to a wider audience. While there are several publications on the various individual topics, none combine or even include all of the above.

The Fourier transform and the Laplace transform of a positive measure share, together with its moment sequence, a positive definiteness property which under certain regularity assumptions is characteristic for such expressions. This is formulated in exact terms in the famous theorems of Bochner, Bernstein-Widder and Hamburger. All three theorems can be viewed as special cases of a general theorem about functions qJ on abelian semigroups with involution (S, +, *) which are positive definite in the sense that the matrix (qJ(sJ + Sk" is positive definite for all finite choices of elements St, . . . , Sn from S. The three basic results mentioned above correspond to (~, +, x* = -x), ([0, 00[, +, x* = x) and (No, +, n* = n). The purpose of this book is to provide a treatment of these positive definite functions on abelian semigroups with involution. In doing so we also discuss related topics such as negative definite functions, completely mono tone functions and Hoeffding-type inequalities. We view these subjects as important ingredients of harmonic analysis on semigroups. It has been our aim, simultaneously, to write a book which can serve as a textbook for an advanced graduate course, because we feel that the notion of positive definiteness is an important and basic notion which occurs in mathematics as often as the notion of a Hilbert space.

Introduction In the last few years a few monographs dedicated to the theory of topolog ical rings have appeared [Warn27], [Warn26], [Wies 19], [Wies 20], [ArnGM]. Ring theory can be viewed as a particular case of Z-algebras. Many general results true for rings can be extended to algebras over commutative rings. In topological algebra the structure theory for two classes of topological algebras is well developed: Banach algebras; and locally compact rings. The theory of Banach algebras uses results of Banach spaces, and the theory of locally compact rings uses the theory of LCA groups. As far as the author knows, the first papers on the theory of locally compact rings were [Pontr1]' [J1], [J2], [JT], [An], lOt], [K1]' [K2]' [K3], [K4], [K5], [K6]. Later two papers, [GS1,GS2]appeared, which contain many results concerning locally compact rings. This book can be used in two w.ays. It contains all necessary elementary results from the theory of topological groups and rings. In order to read these parts of the book the reader needs to know only elementary facts from the theories of groups, rings, modules, topology. The book consists of two parts.

This volume records most of the talks given at the Conference on Infinite-dimensional Groups held at the Mathematical Sciences Research Institute at Berkeley, California, May 10-May 15, 1984, as a part of the special program on Kac-Moody Lie algebras. The purpose of the conference was to review recent developments of the theory of infinite-dimensional groups and its applications. The present collection concentrates on three very active, interrelated directions of the field: general Kac-Moody groups, gauge groups (especially loop groups) and diffeomorphism groups. I would like to express my thanks to the MSRI for sponsoring the meeting, to Ms. Faye Yeager for excellent typing, to the authors for their manuscripts, and to Springer-Verlag for publishing this volume. V. Kac INFINITE DIMENSIONAL GROUPS WITH APPLICATIONS CONTENTS The Lie Group Structure of M. Adams. T. Ratiu 1 Diffeomorphism Groups and & R. Schmid Invertible Fourier Integral Operators with Applications On Landau-Lifshitz Equation and E. Date 71 Infinite Dimensional Groups Flat Manifolds and Infinite D. S. Freed 83 Dimensional Kahler Geometry Positive-Energy Representations R. Goodman 125 of the Group of Diffeomorphisms of the Circle Instantons and Harmonic Maps M. A. Guest 137 A Coxeter Group Approach to Z. Haddad 157 Schubert Varieties Constructing Groups Associated to V. G. Kac 167 Infinite-Dimensional Lie Algebras I. Kaplansky 217 Harish-Chandra Modules Over the Virasoro Algebra & L. J. Santharoubane 233 Rational Homotopy Theory of Flag S.

H.Weyl studied harmonic analysis on compact groups of finite di mension. He proved that an orthonormal system exists and that any continuous function on these groups can be approximated by some tinite linear combination of functions in this system. His research, however, seems to be too abstract to yield an explicit expression for the orthonormal system. Thus, we cannot talk about the form of the approximation, nor about its convergence. iO The simplest example of compact groups is {e }, on which there exists an orthonormal system inO { e }, n = 0, +/- 1, +/- 2 , ... , namely 1 J2" ." ." {I, for n = m; - e,n"e-1m"dO = 2n 0 0, for n =;6 m. The harmonic analysis on this compact group refers to the whole Fourier analysis. So far, extensive literature has been available on this topic. Its remarkable progress is evidenced by the great monograph of seven-hundred pages in two volumes written by A. Zygmund in 1959. iO An immediate extension for {e } is group U", which consists of all n X n square matrices U satisfying ufj' = I, where fj' denotes the conjugate transpose matrix of U. As for construction, there is a close relation between the group U and the group S03. Besides, 2 the application of U" has been found more and more important in physics.

The great Norwegian mathematician Sophus Lie developed the general theory of transformations in the 1870s, and the first part of the book properly focuses on his work. In the second part the central figure is Wilhelm Killing, who developed structure and classification of semisimple Lie algebras. The third part focuses on the developments of the representation of Lie algebras, in particular the work of Elie Cartan. The book concludes with the work of Hermann Weyl and his contemporaries on the structure and representation of Lie groups which serves to bring together much of the earlier work into a coherent theory while at the same time opening up significant avenues for further work.