The main feature of this book is a systematic application of elementary geometric and topological techniques for solving problems that arise naturally in algebra. After an account of preliminary material, there is a discussion of a geometrically intuitive interpretation of the derivation of consequences of defining relations of groups. A study is made of planar and certain other two-dimensional maps connected with well-known problems in general group theory, such as the problems of Burnside and O. Yu. Schmidt. The method of cancellation diagrams developed here is applied to these and to a series of other problems. This monograph is addressed to research workers and students in universities, and may be used as a basis for a series of specialized lectures or seminars.

'Ht moi - ..., si favait su comment en reveniT, One service mathematics hal rendered the je n'y serais point aile.' human race. It has put C.

" A group is defined by means of the laws of combinations of its symbols," according to a celebrated dictum of Cayley. And this is probably still as good a one-line explanation as any. The concept of a group is surely one of the central ideas of mathematics. Certainly there are a few branches of that science in which groups are not employed implicitly or explicitly. Nor is the use of groups confined to pure mathematics. Quantum theory, molecular and atomic structure, and crystallography are just a few of the areas of science in which the idea of a group as a measure of symmetry has played an important part. The theory of groups is the oldest branch of modern algebra. Its origins are to be found in the work of Joseph Louis Lagrange (1736-1813), Paulo Ruffini (1765-1822), and Evariste Galois (1811-1832) on the theory of algebraic equations. Their groups consisted of permutations of the variables or of the roots of polynomials, and indeed for much of the nineteenth century all groups were finite permutation groups. Nevertheless many of the fundamental ideas of group theory were introduced by these early workers and their successors, Augustin Louis Cauchy (1789-1857), Ludwig Sylow (1832-1918), Camille Jordan (1838-1922) among others. The concept of an abstract group is clearly recognizable in the work of Arthur Cayley (1821-1895) but it did not really win widespread acceptance until Walther von Dyck (1856-1934) introduced presentations of groups.

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 series is aimed specifically at publishing peer reviewed reviews and contributions presented at workshops and conferences. Each volume is associated with a particular conference, symposium or workshop. These events cover various topics within pure and applied mathematics and provide up-to-date coverage of new developments, methods and applications.

This volume contains the proceedings of the AMS-IMS-SIAM Joint Summer Research Conference on Geometric Group Theory and Computer Science held at Mount Holyoke College (South Hadley, MA). The conference was devoted to computational aspects of geometric group theory, a relatively young area of research which has grown out of an influx of ideas from topology and computer science into combinatorial group theory. The book reflects recent progress in this interesting new field. Included are articles about insights from computer experiments, applications of formal language theory, decision problems, and complexity problems. There is also a survey of open questions in combinatorial group theory. The volume will interest group theorists, topologists, and experts in automata and language theory.