This book presents an account of the theory of the cohomology ring of a finite group. The aim is to present a modern approach from the point of view of homological algebra, and the volume covers themes such as finite generation theorems, the cohomology of wreath products, the norm map, and variety theory. Prerequisites comprise a familiarity with modern algebra and homological algebra as might be gained from introductory graduate courses, though otherwise the book is self-contained. As a result, the book will be useful for those already engaged or commencing in research in this area of mathematics by providing an up-to-date survey of important techniques and their applications to finite group theory.

This is an acessible book on the advanced symmetry methods for differential equations, including such subjects as conservation laws, Lie-Backlund symmetries, contact transformations, adjoint symmetries, Nother's Theorem, mappings with some modification, potential symmetries, nonlocal symmetries, nonlocal mappings, and non-classical method. Of use to graduate students and researchers in mathematics and physics."

Polycyclic groups are built from cyclic groups in a specific way. They arise in many contexts within group theory itself but also more generally in algebra, for example in the theory of Noetherian rings. The first half of this book develops the standard group theoretic techniques for studying polycyclic groups and the basic properties of these groups. The second half then focuses specifically on the ring theoretic properties of polycyclic groups and their applications, often to purely group theoretic situations.

The book is intended to be a study manual for graduate students and researchers coming into contact with polycyclic groups, where the main lines of the subject can be learned from scratch. Thus it has been kept short and readable with a view that it can be read and worked through from cover to cover. At the end of each topic covered there is a description without proofs, but with full references, of further developments in the area. An extensive bibliography then concludes the book.

The construction considered in these notes is based on a very simple idea. Let (A, G ) and (B, G ) be two group representations, for definiteness faithful and finite 1 2 dimensional, over an arbitrary field. We shall say that a faithful representation (V, G) is an extension of (A, G ) by (B, G ) if there is a G-submodule W of V such that 1 2 the naturally arising representations (W, G) and (V/W, G) are isomorphic, modulo their kernels, to (A, G ) and (B, G ) respectively. 1 2 Question. Among all the extensions of (A, G ) by (B, G ), does there exist 1 2 such a "universal" extension which contains an isomorphic copy of any other one? The answer is in the affirmative. Really, let dim A = m and dim B = n, then the groups G and G may be considered as matrix groups of degrees m and n 1 2 respectively. If (V, G) is an extension of (A, G ) by (B, G ) then, under certain 1 2 choice of a basis in V, all elements of G are represented by (m + n) x (m + n) mat rices of the form (*) ~1-~ ~-J lh I g2 I .

The action of a compact Lie group, G, on a compact sympletic manifold gives rise to some remarkable combinatorial invariants. The simplest and most interesting of these is the moment polytopes, a convex polyhedron which sits inside the dual of the Lie algebra of G. One of the main goals of this monograph is to describe what kinds of geometric information are encoded in this polytope. This book is addressed to researchers and can be used as a semester text.

The study of the structure of Lie algebras over arbitrary fields is now a little more than thirty years old. The first papers, to my know ledge, which undertook this study as an end in itself were those of JACOBSON (" Rational methods in the theory of Lie algebras ") in the Annals, and of LANDHERR ("Uber einfache Liesche Ringe") in the Hamburg Abhandlungen, both in 1935. Over fields of characteristic zero, these thirty years have seen the ideas and results inherited from LIE, KILLING, E. CARTAN and WEYL developed and given new depth, meaning and elegance by many contributors. Much of this work is presented in [47, 64, 128 and 234] of the bibliography. For those who find the rationalization for the study of Lie algebras in their connections with Lie groups, satisfying counterparts to these connections have been found over general non-modular fields, with the substitution of the formal groups of BOCHNER [40] (see also DIEUDONNE [108]), or that of the algebraic linear groups of CHEVALLEY [71], for the usual Lie group. In particular, the relation with algebraic linear groups has stimulated the study of Lie algebras of linear transformations. When one admits to consideration Lie algebras over a base field of positive characteristic (such are the algebras to which the title of this monograph refers), he encounters a new and initially confusing scene.

At first sight, finitely generated abelian groups and canonical forms of matrices appear to have little in common. However, reduction to Smith normal form, named after its originator H.J.S.Smith in 1861, is a matrix version of the Euclidean algorithm and is exactly what the theory requires in both cases. Starting with matrices over the integers, Part1 of this book provides a measured introduction to such groups: two finitely generated abelian groups are isomorphic if and only if their invariant factor sequences are identical. The analogous theory of matrix similarity over a field is then developed in Part2 starting with matrices having polynomial entries: two matrices over a field are similar if and only if their rational canonical forms are equal. Under certain conditions each matrix is similar to a diagonal or nearly diagonal matrix, namely its Jordan form.

The reader is assumed to be familiar with the elementary properties of rings and fields. Also a knowledge of abstract linear algebra including vector spaces, linear mappings, matrices, bases and dimension is essential, although much of the theory is covered in the text but from a more general standpoint: the role of vector spaces is widened to modules over commutative rings.

Based on a lecture course taught by the author for nearly thirty years, the book emphasises algorithmic techniques and features numerous worked examples and exercises with solutions. The early chapters form an ideal second course in algebra for second and third year undergraduates. The later chapters, which cover closely related topics, e.g. field extensions, endomorphism rings, automorphism groups, and variants of the canonical forms, will appeal to more advanced students. The book is a bridge between linear and abstract algebra."

A selection of topics which graduate students have found to be a successful introduction to the field, employing three distinct techniques: geometric topology manoeuvres, combinatorics, and algebraic topology. Each topic is developed until significant results are achieved and each chapter ends with exercises and brief accounts of the latest research. What may reasonably be referred to as knot theory has expanded enormously over the last decade and, while the author describes important discoveries throughout the twentieth century, the latest discoveries such as quantum invariants of 3-manifolds as well as generalisations and applications of the Jones polynomial are also included, presented in an easily intelligible style. Readers are assumed to have knowledge of the basic ideas of the fundamental group and simple homology theory, although explanations throughout the text are numerous and well-done. Written by an internationally known expert in the field, this will appeal to graduate students, mathematicians and physicists with a mathematical background wishing to gain new insights in this area.

"Essays in Group Theory" contains five papers on topics of current interest which were presented in a seminar at MSRI, Berkeley in June, 1985. Special mention should be given to Gromovs paper, one of the most significant in the field in the last decade. It develops the theory of hyperbolic groups to include a version of small cancellation theory sufficiently powerful to recover deep results of Ol'shanskii and Rips. Each of the remaining papers, by Baumslag and Shalen, Gersten, Shalen, and Stallings contains gems. For example, the reader will delight in Stallings' explicit construction of free actions of orientable surface groups on R-trees. Gersten's paper lays the foundations for a theory of equations over groups and contains a very quick solution to conjugacy problem for a class of hyperbolic groups. Shalen's article reviews the rapidly expanding theory of group actions on R-trees and the Baumslag-Shalen article uses modular representation theory to establish properties of presentations whose relators are pth-powers.

Although much of classical ergodic theory is concerned with single transformations and one-parameter flows, the subject inherits from statistical mechanics not only its name, but also an obligation to analyze spatially extended systems with multidimensional symmetry groups. However, the wealth of concrete and natural examples which has contributed so much to the appeal and development of classical dynamics, is noticeably absent in this more general theory. The purpose of this book is to help remedy this scarcity of explicit examples by introducing a class of continuous Zd-actions diverse enough to exhibit many of the new phenomena encountered in the transition from Z to Zd, but which nevertheless lends itself to systematic study: the Zd-actions by automorphisms of compact, abelian groups. One aspect of these actions, not surprising in itself but quite striking in its extent and depth nonetheless, is the connection with commutative algebra and arithmetical algebraic geometry. The algebraic framework resulting from this connection allows the construction of examples with a variety of specified dynamical properties, and by combining algebraic and dynamical tools one obtains a quite detailed understanding of this class of Zd-actions."

'Et moi, ..., si j'avait su comment en revenir, One service methematics has rendered the je n'y serais point aile.' human race. It has put common sense back JulesVerne where it belongs, on the topmost shelf next to the dusty canister labelled 'discarded non The series is divergent; therefore we may be seese'. able to do something with it. Eric T. Bell O.Heaviside Mathematics is a tool for thought. A highly necessary tool in a world where both feedback and nonlinearities abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such state ments as: 'One service topology has rendered mathematical physics .. .'; 'One service logic has rendered computer science .. .'; 'One service category theory has rendered mathematics .. .'. All arguable true. And all statements obtainable this .way form part of the raison d'etre of this series."

Diese Arbeit enthiilt zwei grof3ere Fallstudien zur Beziehung zwischen theo- retischer Mathematik und Anwendungen im 19. Jahrhundert. Sie ist das Ergebnis eines mathematikhistorischen Forschungsprojekts am Mathemati- schen Fachbereich der Universitiit-Gesamthochschule Wuppertal und wurde dort als Habilitationsschrift vorgelegt. Ohne das wohlwollende Interesse von Herrn H. Scheid und den Kollegen der Abteilung fUr Didaktik der Mathema- tik ware das nicht moglich gewesen: Inhaltlich verdankt sie - direkt oder indirekt - vielen Beteiligten et- was. So wurde mein Interesse an den kristallographischen Symmetriekon- zepten, dem Thema der ersten Fallstudie, durch Anregungen und Hinweise von Herrn E. Brieskorn geweckt. Sowohl von seiner Seite als auch von Herrn J. J. Burckhardt stammen uberdies viele wert volle Hinweise zum Manuskript von Kapitel I. Herrn C. J. Scriba mochte ich fur seine die gesamte Arbeit betreffenden priizisen Anmerkungen danken und Herrn W. Borho ebenso fUr seine ubergreifenden Kommentare und Vorschlage. Beziiglich der in Kapitel II behandelten projektiven Methoden in der Baustatik des 19. Jahrhunderts gilt mein besonderer Dank den Herren K. -E. Kurrer und T. Hiinseroth fUr ihre zum Teil sehr detaillierten Anmerkungen aus dem Blickwinkel der Geschichte der Bauwissenschaften. Schliefilich geht mein Dank an alle nicht namentlich Erwiihnten, die in Gesprachen, technisch oder auch anderweitig zur Fertig- stellung dieser Arbeit beigetragen haben. Fur die vorliegende Publikation habe ich einen Anhang mit einer Skizze von in unserem Zusammenhang besonders wichtig erscheinenden Aspekten der Theorie der kristallographischen Raumgruppen hinzugefUgt. Ich hoffe, daB er zum Verstiindnis des mathematischen Hintergrunds der historischen Arbeiten des ersten Kapitels beitragt.

* First of three independent, self-contained volumes under the general title, "Lie Theory," featuring original results and survey work from renowned mathematicians. * Contains J. C. Jantzen's "Nilpotent Orbits in Representation Theory," and K.-H. Neeb's "Infinite Dimensional Groups and their Representations." * Comprehensive treatments of the relevant geometry of orbits in Lie algebras, or their duals, and the correspondence to representations. * Should benefit graduate students and researchers in mathematics and mathematical physics.

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.

This volume contains papers which are based primarily on talks given at an inter national conference on Algorithmic Problems in Groups and Semigroups held at the University of Nebraska-Lincoln from May ll-May 16, 1998. The conference coincided with the Centennial Celebration of the Department of Mathematics and Statistics at the University of Nebraska-Lincoln on the occasion of the one hun dredth anniversary of the granting of the first Ph.D. by the department. Funding was provided by the US National Science Foundation, the Department of Math ematics and Statistics, and the College of Arts and Sciences at the University of Nebraska-Lincoln, through the College's focus program in Discrete, Experimental and Applied Mathematics. The purpose of the conference was to bring together researchers with interests in algorithmic problems in group theory, semigroup theory and computer science. A particularly useful feature of this conference was that it provided a framework for exchange of ideas between the research communities in semigroup theory and group theory, and several of the papers collected here reflect this interac tion of ideas. The papers collected in this volume represent a cross section of some of the results and ideas that were discussed in the conference. They reflect a synthesis of overlapping ideas and techniques stimulated by problems concerning finite monoids, finitely presented mono ids, finitely presented groups and free groups.

The Mathematical Sciences Research Institute sponsored a three day conference, May 21-23, 1984 to honor Professor George W. Mackey. The title of the conference, Group Representations, Ergodic Theory, Operator Algebras, and Mathematical Physics, reflects the interests in science that have characterized Professor wide ranging Mackey's work. The conference provided an opportunity for his students, friends and colleagues to honor him and his contributions. The conference was attended by over one hundred people and the participants included five mathematical generations Professor Mackey's mathematical father, Marshall Stone, many mathematical children, grandchildren, and at least one mathematical great-grandchild. This volume is a compendium of the scientific papers presented at the conference plus some additional papers contributed after the conference. The far ranging scope of the various articles is a further indication of the large number of fields that have been affected by Professor Mackey's work. Calvin C. Moore Berkeley, CA Feb, 1986 Table of Contents Preface vi i Ambiguity Functions and Group L. Auslander and Representations R. Tolimieri Kirillov Orbits and Direct Integral Lawrence Corwin 11 Decompositions on Certain Quotient Spaces Some Homotopy and Shape Calculations Edward G. Effors and 69 for C*-Algebras Jerome Kaminker 121 Small Unitary Representations of Roger Howe Classical Groups Dual Vector Spaces Irving Kaplansky 151 Exponential Decay of Correlation Calvin C. Moore 163 Coefficients for Geodesic Flows Lattices in U(n. I) G. D. Mostow Induced Bundles and Nonlinear Irving E. Segal 199 Wave equations Compact Ahelian Aut.

Harish-Chandra s general Plancherel inversion theorem admits a much shorter presentation for spherical functions. Previous expositions have dealt with a general, wide class of Lie groups. This has made access to the subject difficult for outsiders, who may wish to connect some aspects with several if not all other parts of mathematics. In this book, the essential features of Harish-Chandra theory are exhibited on SLn(R), but hundreds of pages of background are replaced by short direct verifications. The material is accessible to graduate students with no background in Lie groups and representation theory."

This book contains two contributions: "Combinatorial and Asymptotic Methods in Algebra" by V.A. Ufnarovskij is a survey of various combinatorial methods in infinite-dimensional algebras, widely interpreted to contain homological algebra and vigorously developing computer algebra, and narrowly interpreted as the study of algebraic objects defined by generators and their relations. The author shows how objects like words, graphs and automata provide valuable information in asymptotic studies. The main methods emply the notions of Grobner bases, generating functions, growth and those of homological algebra. Treated are also problems of relationships between different series, such as Hilbert, Poincare and Poincare-Betti series. Hyperbolic and quantum groups are also discussed. The reader does not need much of background material for he can find definitions and simple properties of the defined notions introduced along the way. "Non-Associative Structures" by E.N.Kuz'min and I.P.Shestakov surveys the modern state of the theory of non-associative structures that are nearly associative. Jordan, alternative, Malcev, and quasigroup algebras are discussed as well as applications of these structures in various areas of mathematics and primarily their relationship with the associative algebras. Quasigroups and loops are treated too. The survey is self-contained and complete with references to proofs in the literature. The book will be of great interest to graduate students and researchers in mathematics, computer science and theoretical physics."

During the past two decades representations of noncompact Lie groups and Lie algebras have been studied extensively, and their application to other branches of mathematics and to physical sciences has increased enormously. Several theorems which were proved in the abstract now carry definite mathematical and physical sig nificance. Several physical observations which were not understood before are now explained in terms of models based on new group-theoretical structures such as dy namical groups and Lie supergroups. The workshop was designed to bring together those mathematicians and mathematical physicists who are actively working in this broad spectrum of research and to provide them with the opportunity to present their recent results and to discuss the challenges facing them in the many problems that remain. The objective of the workshop was indeed well achieved. This book contains 31 lectures presented by invited participants attending the NATO Advanced Research Workshop held in San Antonio, Texas, during the week of January 3-8, 1993. The introductory article by the editors provides a brief review of the concepts underlying these lectures (cited by author *]) and mentions some of their applications. The articles in the book are grouped under the following general headings: Lie groups and Lie algebras, Lie superalgebras and Lie supergroups, and Quantum groups, and are arranged in the order in which they are cited in the introductory article. We are very thankful to Dr."

This is the first monograph to exclusively treat Kac-Moody (K-M) groups, a standard tool in mathematics and mathematical physics. K-M Lie algebras were introduced in the mid-sixties independently by V. Kac and R. Moody, generalizing finite-dimensional semisimple Lie algebras. K-M theory has since undergone tremendous developments in various directions and has profound connections with a number of diverse areas, including number theory, combinatorics, topology, singularities, quantum groups, completely integrable systems, and mathematical physics. This comprehensive, well-written text moves from K-M Lie algebras to the broader K-M Lie group setting, and focuses on the study of K-M groups and their flag varieties. In developing K-M theory from scratch, the author systematically leads readers to the forefront of the subject, treating the algebro-geometric, topological, and representation-theoretic aspects of the theory. Most of the material presented here is not available anywhere in the book literature.{\it Kac--Moody Groups, their Flag Varieties and Representation Theory} is suitable for an advanced graduate course in representation theory, and contains a number of examples, exercises, challenging open problems, comprehensive bibliography, and index. Research mathematicians at the crossroads of representation theory, geometry, and topology will learn a great deal from this text; although the book is devoted to the general K-M case, those primarily interested in the finite-dimensional case will also benefit. No prior knowledge of K-M Lie algebras or of (finite-dimensional) algebraic groups is required, but some basic knowledge would certainly be helpful. For the reader's convenience some of the basic results needed from other areas, including ind-varieties, pro-algebraic groups and pro-Lie algebras, Tits systems, local cohomology, equivariant cohomology, and homological algebra are included.

This book is based on the notes of the authors' seminar on algebraic and Lie groups held at the Department of Mechanics and Mathematics of Moscow University in 1967/68. Our guiding idea was to present in the most economic way the theory of semisimple Lie groups on the basis of the theory of algebraic groups. Our main sources were A. Borel's paper [34], C. ChevalIey's seminar [14], seminar "Sophus Lie" [15] and monographs by C. Chevalley [4], N. Jacobson [9] and J-P. Serre [16, 17]. In preparing this book we have completely rearranged these notes and added two new chapters: "Lie groups" and "Real semisimple Lie groups". Several traditional topics of Lie algebra theory, however, are left entirely disregarded, e.g. universal enveloping algebras, characters of linear representations and (co)homology of Lie algebras. A distinctive feature of this book is that almost all the material is presented as a sequence of problems, as it had been in the first draft of the seminar's notes. We believe that solving these problems may help the reader to feel the seminar's atmosphere and master the theory. Nevertheless, all the non-trivial ideas, and sometimes solutions, are contained in hints given at the end of each section. The proofs of certain theorems, which we consider more difficult, are given directly in the main text. The book also contains exercises, the majority of which are an essential complement to the main contents.

Ever since the discovery of the five platonic solids in ancient times, the study of symmetry and regularity has been one of the most fascinating aspects of mathematics. Quite often the arithmetical regularity properties of an object imply its uniqueness and the existence of many symmetries. This interplay between regularity and symmetry properties of graphs is the theme of this book. Starting from very elementary regularity properties, the concept of a distance-regular graph arises naturally as a common setting for regular graphs which are extremal in one sense or another. Several other important regular combinatorial structures are then shown to be equivalent to special families of distance-regular graphs. Other subjects of more general interest, such as regularity and extremal properties in graphs, association schemes, representations of graphs in euclidean space, groups and geometries of Lie type, groups acting on graphs, and codes are covered independently. Many new results and proofs and more than 750 references increase the encyclopaedic value of this book.

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

The origins of the mathematics in this book date back more than two thou sand years, as can be seen from the fact that one of the most important algorithms presented here bears the name of the Greek mathematician Eu clid. The word "algorithm" as well as the key word "algebra" in the title of this book come from the name and the work of the ninth-century scientist Mohammed ibn Musa al-Khowarizmi, who was born in what is now Uzbek istan and worked in Baghdad at the court of Harun al-Rashid's son. The word "algorithm" is actually a westernization of al-Khowarizmi's name, while "algebra" derives from "al-jabr," a term that appears in the title of his book Kitab al-jabr wa'l muqabala, where he discusses symbolic methods for the solution of equations. This close connection between algebra and al gorithms lasted roughly up to the beginning of this century; until then, the primary goal of algebra was the design of constructive methods for solving equations by means of symbolic transformations. During the second half of the nineteenth century, a new line of thought began to enter algebra from the realm of geometry, where it had been successful since Euclid's time, namely, the axiomatic method."

After Pyatetski-Shapiro[PS1] and Satake [Sa1] introduced, independent of one another, an early form of the Jacobi Theory in 1969 (while not naming it as such), this theory was given a de?nite push by the book The Theory of Jacobi Forms by Eichler and Zagier in 1985. Now, there are some overview articles describing the developments in the theory of the Jacobigroupandits autom- phic forms, for instance by Skoruppa[Sk2], Berndt [Be5] and Kohnen [Ko]. We refertotheseformorehistoricaldetailsandmanymorenamesofauthorsactive inthistheory,whichstretchesnowfromnumbertheoryandalgebraicgeometry to theoretical physics. But let us only brie?y indicate several- sometimes very closely related - topics touched by Jacobi theory as we see it: * ?eldsofmeromorphicandrationalfunctionsontheuniversalellipticcurve resp. universal abelian variety * structure and projective embeddings of certain algebraic varieties and homogeneous spaces * correspondences between di?erent kinds of modular forms * L-functions associated to di?erent kinds of modular forms and autom- phic representations * induced representations * invariant di?erential operators * structure of Hecke algebras * determination of generalized Kac-Moody algebras and as a ? nal goal related to the here ?rst mentioned * mixed Shimura varieties and mixed motives. Now, letting completely aside the arithmetical and algebraic geometrical - proach to Jacobi forms developed and instrumentalized by Kramer [Kr], we ix x Introduction will treat here a certain representation theoretic point of view for the Jacobi theory parallel to the theory of Jacquet-Langlands [JL] for GL(2) as reported by Godement [Go2], Gelbart [Ge1] and, recently, Bump [Bu].