This book is an elaboration of ideas of Irving Kaplansky introduced in his book Rings of operators ([52], [54]). The subject of Baer *-rings has its roots in von Neumann's theory of 'rings of operators' (now called von Neumann algebras), that is, *-algebras of operators on a Hilbert space, containing the identity op- ator, that are closed in the weak operator topology (hence also the name W*-algebra). Von Neumann algebras are blessed with an excess of structure-algebraic, geometric, topological-so much, that one can easily obscure, through proof by overkill, what makes a particular theorem work. The urge to axiomatize at least portions of the theory of von N- mann algebras surfaced early, notably in work of S. W. P. Steen [84], I. M. Gel'fand and M. A. Naimark [30], C. E. Rickart 1741, and von Neumann himself [53]. A culmination was reached in Kaplansky's AW*-algebras [47], proposed as a largely algebraic setting for the - trinsic (nonspatial) theory of von Neumann algebras (i. e., the parts of the theory that do not refer to the action of the elements of the algebra on the vectors of a Hilbert space). Other, more algebraic developments had occurred in lattice theory and ring theory. Von Neumann's study of the projection lattices of certain operator algebras led him to introduce continuous geometries (a kind of lattice) and regular rings (which he used to 'coordinatize' certain continuous geometries, in a manner analogous to the introd- tion of division ring coordinates in projective geometry).

Trees are a fundamental object in graph theory and combinatorics as well as a basic object for data structures and algorithms in computer science. During thelastyearsresearchrelatedto(random)treeshasbeenconstantlyincreasing and several asymptotic and probabilistic techniques have been developed in order to describe characteristics of interest of large trees in di?erent settings. Thepurposeofthisbookistoprovideathoroughintroductionintovarious aspects of trees in randomsettings anda systematic treatment ofthe involved mathematicaltechniques. It shouldserveasa referencebookaswellasa basis for future research. One major conceptual aspect is to connect combinatorial and probabilistic methods that range from counting techniques (generating functions, bijections) over asymptotic methods (singularity analysis, saddle point techniques) to various sophisticated techniques in asymptotic probab- ity (convergence of stochastic processes, martingales). However, the reading of the book requires just basic knowledge in combinatorics, complex analysis, functional analysis and probability theory of master degree level. It is also part of concept of the book to provide full proofs of the major results even if they are technically involved and lengthy.

This book is intended as an introductory lecture in material physics, in which the modern computational group theory and the electronic structure calculation are in collaboration. The first part explains how to use computer algebra for applications in solid-state simulation, based on the GAP computer algebra package. Computer algebra enables us to easily obtain various group theoretical properties, such as the representations, character tables, and subgroups. Furthermore it offers a new perspective on material design, which could be executed in a mathematically rigorous and systematic way. The second part then analyzes the relation between the structural symmetry and the electronic structure in C60 (as an example of a system without periodicity). The principal object of the study was to illustrate the hierarchical change in the quantum-physical properties of the molecule, which correlates to the reduction in the symmetry (as it descends down in the ladder of subgroups). The book also presents the computation of the vibrational modes of the C60 by means of the computer algebra. In order to serve the common interests of researchers, the details of the computations (the required initial data and the small programs developed for the purpose) are explained in as much detail as possible.

The first part of this volume gathers the lecture notes of the courses of the "XVII Escuela Hispano-Francesa", held in Gijon, Spain, in June 2016. Each chapter is devoted to an advanced topic and presents state-of-the-art research in a didactic and self-contained way. Young researchers will find a complete guide to beginning advanced work in fields such as High Performance Computing, Numerical Linear Algebra, Optimal Control of Partial Differential Equations and Quantum Mechanics Simulation, while experts in these areas will find a comprehensive reference guide, including some previously unpublished results, and teachers may find these chapters useful as textbooks in graduate courses. The second part features the extended abstracts of selected research work presented by the students during the School. It highlights new results and applications in Computational Algebra, Fluid Mechanics, Chemical Kinetics and Biomedicine, among others, offering interested researchers a convenient reference guide to these latest advances.

This book comes from the first part of the lecture notes which the author used for a first-year graduate algebra course. The aim of this book is not only to give the students quick access to the basic knowledge of algebra, either for future advancement in the field of algebra, or for general background information, but also to show that algebra is truly a master key or a "skeleton key" to many mathematical problems. As one knows, the teeth of an ordinary key prevent it from opening all but one door; whereas the skeleton key keeps only the essential parts, allow it to unlock many doors. The author wishes to present this book as an attempt to re-establish the contacts between algebra and other branches of mathematics and sciences. Many examples and exercises are included to illustrate the power of intuitive approaches to algebra.

Self-contained, and collating for the first time material that has until now only been published in journals - often in Russian - this book will be of interest to functional analysts, especially those with interests in topological vector spaces, and to algebraists concerned with category theory. The closed graph theorem is one of the corner stones of functional analysis, both as a tool for applications and as an object for research. However, some of the spaces which arise in applications and for which one wants closed graph theorems are not of the type covered by the classical closed graph theorem of Banach or its immediate extensions. To remedy this, mathematicians such as Schwartz and De Wilde (in the West) and Rajkov (in the East) have introduced new ideas which have allowed them to establish closed graph theorems suitable for some of the desired applications. In this book, Professor Smirnov uses category theory to provide a very general framework, including the situations discussed by De Wilde, Rajkov and others. General properties of the spaces involved are discussed and applications are provided in measure theory, global analysis and differential equations.

This book comes from the first part of the lecture notes which the author used for a first-year graduate algebra course. The aim of this book is not only to give the students quick access to the basic knowledge of algebra, either for future advancement in the field of algebra, or for general background information, but also to show that algebra is truly a master key or a "skeleton key" to many mathematical problems. As one knows, the teeth of an ordinary key prevent it from opening all but one door; whereas the skeleton key keeps only the essential parts, allow it to unlock many doors. The author wishes to present this book as an attempt to re-establish the contacts between algebra and other branches of mathematics and sciences. Many examples and exercises are included to illustrate the power of intuitive approaches to algebra.

Onc service malhemalics has rendered Ihe "Et moil ... si ravait au oomment en revcnir. je n'y serais point aU' ' human race. It has put common sense back whcre it belongs, on the topmost shelf next Iules Verne to the dUlty canister IabeUed 'discarded n- sense'. The series is divergent; therefore we may be Eric T. BeU able to do something with it. O. H eaviside Mathematics is a tool for thought, A highly necessary tool in a world where both feedback and non linearities abound. Similarly, all kinds of parts of mathematics serve as tools for other pans and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One service topology has rendered mathematical physics .. .'; 'One service logic has rendered com puter science .. .'; 'One service category theory has rendered mathematics .. .'. All arguably true. And all statements obtainable this way form part of the raison d'are of this series."

A NATO Advanced Study Institute entitled "Algebraic K-theory and Algebraic Topology" was held at Chateau Lake Louise, Lake Louise, Alberta, Canada from December 12 to December 16 of 1991. This book is the volume of proceedings for this meeting. The papers that appear here are representative of most of the lectures that were given at the conference, and therefore present a "snapshot" of the state ofthe K-theoretic art at the end of 1991. The underlying objective of the meeting was to discuss recent work related to the Lichtenbaum-Quillen complex of conjectures, fro both the algebraic and topological points of view. The papers in this volume deal with a range of topics, including motivic cohomology theories, cyclic homology, intersection homology, higher class field theory, and the former telescope conjecture. This meeting was jointly funded by grants from NATO and the National Science Foun dation in the United States. I would like to take this opportunity to thank these agencies for their support. I would also like to thank the other members of the organizing com mittee, namely Paul Goerss, Bruno Kahn and Chuck Weibel, for their help in making the conference successful. This was the second NATO Advanced Study Institute to be held in this venue; the first was in 1987. The success of both conferences owes much to the professionalism and helpfulness of the administration and staff of Chateau Lake Louise."

In this volume, designed for computational scientists and engineers working on applications requiring the memories and processing rates of large-scale parallelism, leading algorithmicists survey their own field-defining contributions, together with enough historical and bibliographical perspective to permit working one's way to the frontiers. This book is distinguished from earlier surveys in parallel numerical algorithms by its extension of coverage beyond core linear algebraic methods into tools more directly associated with partial differential and integral equations - though still with an appealing generality - and by its focus on practical medium-granularity parallelism, approachable through traditional programming languages. Several of the authors used their invitation to participate as a chance to stand back and create a unified overview, which nonspecialists will appreciate.

This is the second of three major volumes which present a comprehensive treatment of the theory of the main classes of special functions from the point of view of the theory of group representations. This volume deals with the properties of special functions and orthogonal polynomials (Legendre, Gegenbauer, Jacobi, Laguerre, Bessel and others) which are related to the class 1 representations of various groups. The tree method for the construction of bases for representation spaces is given. Continuous' bases in the spaces of functions on hyperboloids and cones and corresponding Poisson kernels are found. Also considered are the properties of the q-analogs of classical orthogonal polynomials, related to representations of the Chevalley groups and of special functions connected with fields of p-adic numbers. Much of the material included appears in book form for the first time and many of the topics are presented in a novel way. This volume will be of great interest to specialists in group representations, special functions, differential equations with partial derivatives and harmonic anlysis. Subscribers to the complete set of three volumes will be entitled to a discount of 15%.

This study in combinatorial group theory introduces the concept of automatic groups. It contains a succinct introduction to the theory of regular languages, a discussion of related topics in combinatorial group theory, and the connections between automatic groups and geometry which motivated the development of this new theory. It is of interest to mathematicians and computer scientists, and includes open problems that will dominate the research for years to come.

The selected contributions in this volume originated at the Sundance conference, which was devoted to discussions of current work in the area of free resolutions. The papers include new research, not otherwise published, and expositions that develop current problems likely to influence future developments in the field.

Algorithmic Algebra studies some of the main algorithmic tools of computer algebra, covering such topics as Grobner bases, characteristic sets, resultants and semialgebraic sets. The main purpose of the book is to acquaint advanced undergraduate and graduate students in computer science, engineering and mathematics with the algorithmic ideas in computer algebra so that they could do research in computational algebra or understand the algorithms underlying many popular symbolic computational systems: Mathematica, Maple or Axiom, for instance. Also, researchers in robotics, solid modeling, computational geometry and automated theorem proving community may find it useful as symbolic algebraic techniques have begun to play an important role in these areas. The book, while being self-contained, is written at an advanced level and deals with the subject at an appropriate depth. The book is accessible to computer science students with no previous algebraic training. Some mathematical readers, on the other hand, may find it interesting to see how algorithmic constructions have been used to provide fresh proofs for some classical theorems. The book also contains a large number of exercises with solutions to selected exercises, thus making it ideal as a textbook or for self-study."

Extending the well-known connection between classical linear potential theory and probability theory (through the interplay between harmonic functions and martingales) to the nonlinear case of tug-of-war games and their related partial differential equations, this unique book collects several results in this direction and puts them in an elementary perspective in a lucid and self-contained fashion.

The moduli space Mg of curves of fixed genus g - that is, the algebraic variety that parametrizes all curves of genus g - is one of the most intriguing objects of study in algebraic geometry these days. Its appeal results not only from its beautiful mathematical structure but also from recent developments in theoretical physics, in particular in conformal field theory.

This is the first book to present an up-to-date and self-contained account of Algebraic Complexity Theory that is both comprehensive and unified. Requiring of the reader only some basic algebra and offering over 350 exercises, it is well-suited as a textbook for beginners at graduate level. With its extensive bibliography covering about 500 research papers, this text is also an ideal reference book for the professional researcher. The subdivision of the contents into 21 more or less independent chapters enables readers to familiarize themselves quickly with a specific topic, and facilitates the use of this book as a basis for complementary courses in other areas such as computer algebra.

"There are useful discussions of two nonstandard topics which caught my eye, the method of least squares and Markov processes, consistent with the author's concern for the applications and the expected readership, which render the text useful for business, economics and social science students as well as those in physical sciences and engineering ... the book has great value for self study as well as adoption as a classroom text ... By all means adopt Robinson's text and enjoy spreading the gospel of linear algebra." Frank B CannonitoUniversity of California, Irvine "... it is very carefully written, both from the point of view of mathematical content and style, and readability ... It should therefore be very suitable as a course book as well as for self-tuition." Mathematics Abstracts, Germany

For courses in Prealgebra. The Martin-Gay principle: Every student can succeed Elayn Martin-Gay's student-centric approach is woven seamlessly throughout her texts and MyLab courses, giving students the optimal amount of support through effective video resources, an accessible writing style, and study skills support built into the program. Elayn's legacy of innovations that support student success include Chapter Test Prep videos and a Video Organizer note-taking guide. Expanded resources in the latest revision bring even more updates to her program, all shaped by her focus on the student - a perspective that has made her course materials beloved by students and instructors alike. The Martin-Gay series offers market-leading content written by a preeminent author-educator, tightly integrated with the #1 choice in digital learning: MyLab Math. Also available with MyLab Math By combining trusted author content with digital tools and a flexible platform, MyLab personalizes the learning experience and improves results for each student. Bringing Elayn Martin-Gay's voice and approach into the MyLab course - though video resources, study skills support, and exercises refined with each edition - gives students the support to be successful in math. Note: You are purchasing a standalone product; MyLab Math does not come packaged with this content. Students, if interested in purchasing this title with MyLab Math, ask your instructor to confirm the correct package ISBN and Course ID. Instructors, contact your Pearson representative for more information. If you would like to purchase both the physical text and MyLab Math, search for: 0134674189 / 9780134674186 Prealgebra Plus MyLab Math with Pearson eText -- Access Card Package, 6/e Package consists of: 0134707648 / 9780134707648 Prealgebra 0135115795 / 9780135115794 MyLab Math with Pearson eText - Standalone Access Card - for Prealgebra

Algebraic K-theory is a modern branch of algebra which has many important applications in fundamental areas of mathematics connected with algebra, topology, algebraic geometry, functional analysis and algebraic number theory. Methods of algebraic K-theory are actively used in algebra and related fields, achieving interesting results. This book presents the elements of algebraic K-theory, based essentially on the fundamental works of Milnor, Swan, Bass, Quillen, Karoubi, Gersten, Loday and Waldhausen. It includes all principal algebraic K-theories, connections with topological K-theory and cyclic homology, applications to the theory of monoid and polynomial algebras and in the theory of normed algebras. This volume will be of interest to graduate students and research mathematicians who want to learn more about K-theory.

In recent years there has been a remarkable convergence of interest in programming languages based on ALGOL 60. Researchers interested in the theory of procedural and object-oriented languages discovered that ALGOL 60 shows how to add procedures and object classes to simple imperative languages in a general and clean way. And, on the other hand, researchers interested in purely functional languages discovered that ALGOL 60 shows how to add imperative mechanisms to functional languages in a way that does not compromise their desirable properties. Unfortunately, many of the key works in this field have been rather hard to obtain. The primary purpose of this collection is to make the most significant material on ALGoL-like languages conveniently available to graduate students and researchers. Contents Introduction to Volume 1 1 Part I Historical Background 1 Part n Basic Principles 3 Part III Language Design 5 Introduction to Volume 2 6 Part IV Functor-Category Semantics 7 Part V Specification Logic 7 Part VI Procedures and Local Variables 8 Part vn Interference, Irreversibility and Concurrency 9 Acknowledgements 11 Bibliography 11 Introduction to Volume 1 This volume contains historical and foundational material, and works on lan guage design. All of the material should be accessible to beginning graduate students in programming languages and theoretical Computer Science."

Based on several recent courses given to mathematical physics students, this volume is an introduction to bundle theory. It aims to provide newcomers to the field with solid foundations in topological K-theory. A fundamental theme, emphasized in the book, centers around the gluing of local bundle data related to bundles into a global object. One renewed motivation for studying this subject, comes from quantum field theory, where topological invariants play an important role.

Of interest to everybody working on perturbation theory in differential equations, this book requires only a standard mathematical background in engineering and does not require reference to the special literature. Topics covered include: matrix perturbation theory; systems of ordinary differential equations with small parameters; reconstruction and equations in partial derivatives. While boundary problems are not discussed, the book is clearly illustrated by numerous examples.