This book studies algebras and linear transformations acting on finite-dimensional vector spaces over arbitrary fields. It is written for readers who have prior knowledge of algebra and linear algebra. The goal is to present a balance of theory and example in order for readers to gain a firm understanding of the basic theory of finite-dimensional algebras and to provide a foundation for subsequent advanced study in a number of areas of mathematics.

This book presents the various algebraic techniques for solving partial differential equations to yield exact solutions, techniques developed by the author in recent years and with emphasis on physical equations such as: the Maxwell equations, the Dirac equations, the KdV equation, the KP equation, the nonlinear Schrodinger equation, the Davey and Stewartson equations, the Boussinesq equations in geophysics, the Navier-Stokes equations and the boundary layer problems. In order to solve them, I have employed the grading technique, matrix differential operators, stable-range of nonlinear terms, moving frames, asymmetric assumptions, symmetry transformations, linearization techniques and special functions. The book is self-contained and requires only a minimal understanding of calculus and linear algebra, making it accessible to a broad audience in the fields of mathematics, the sciences and engineering. Readers may find the exact solutions and mathematical skills needed in their own research.

Encompassing all the major topics students will encounter in courses on the subject, the authors teach both the underlying mathematical foundations and how these ideas are implemented in practice. They illustrate all the concepts with both worked examples and plenty of exercises, and, in addition, provide software so that students can try out numerical methods and so hone their skills in interpreting the results. As a result, this will make an ideal textbook for all those coming to the subject for the first time. Authors' note: A problem recently found with the software is due to a bug in Formula One, the third party commercial software package that was used for the development of the interface. It occurs when the date, currency, etc. format is set to a non-United States version. Please try setting your computer date/currency option to the United States option . The new version of Formula One, when ready, will be posted on WWW.

The present manuscript is an improved edition of a text that first appeared under the same title in Bonner Mathematische Schriften, no.26, and originated from a series of lectures given by the author in 1965/66 in Wolfgang Krull's seminar in Bonn. Its main goal is to provide the reader, acquainted with the basics of algebraic number theory, a quick and immediate access to class field theory. This script consists of three parts, the first of which discusses the cohomology of finite groups. The second part discusses local class field theory, and the third part concerns the class field theory of finite algebraic number fields.

Traditionally, Lie Theory is a tool to build mathematical models for physical systems. Recently, the trend is towards geometrisation of the mathematical description of physical systems and objects. A geometric approach to a system yields in general some notion of symmetry which is very helpful in understanding its structure. Geometrisation and symmetries are meant in their broadest sense, i.e., classical geometry, differential geometry, groups and quantum groups, infinite-dimensional (super-)algebras, and their representations. Furthermore, we include the necessary tools from functional analysis and number theory. This is a large interdisciplinary and interrelated field.
Samples of these new trends are presented in this volume, based on contributions from the Workshop Lie Theory and Its Applications in Physics held near Varna, Bulgaria, in June 2011.
This book is suitable for an extensive audience of mathematicians, mathematical physicists, theoretical physicists, and researchers in the field of Lie Theory."

Scientific applications involve very large computations that strain the resources of whatever computers are available. Such computations implement sophisticated mathematics, require deep scientific knowledge, depend on subtle interplay of different approximations, and may be subject to instabilities and sensitivity to external input. Software able to succeed in this domain invariably embeds significant domain knowledge that should be tapped for future use. Unfortunately, most existing scientific software is designed in an ad hoc way, resulting in monolithic codes understood by only a few developers. Software architecture refers to the way software is structured to promote objectives such as reusability, maintainability, extensibility, and feasibility of independent implementation. Such issues have become increasingly important in the scientific domain, as software gets larger and more complex, constructed by teams of people, and evolved over decades. In the context of scientific computation, the challenge facing mathematical software practitioners is to design, develop, and supply computational components which deliver these objectives when embedded in end-user application codes. The Architecture of Scientific Software addresses emerging methodologies and tools for the rational design of scientific software, including component integration frameworks, network-based computing, formal methods of abstraction, application programmer interface design, and the role of object-oriented languages. This book comprises the proceedings of the International Federation for Information Processing (IFIP) Conference on the Architecture of Scientific Software, which was held in Ottawa, Canada, in October 2000. It will prove invaluable reading for developers of scientific software, as well as for researchers in computational sciences and engineering.

This book deals with analytic treatments of Markov processes. Symmetric Dirichlet forms and their associated Markov processes are important and powerful tools in the theory of Markov processes and their applications. The theory is well studied and used in various fields. In this monograph, we intend to generalize the theory to non-symmetric and time dependent semi-Dirichlet forms. By this generalization, we can cover the wide class of Markov processes and analytic theory which do not possess the dual Markov processes. In particular, under the semi-Dirichlet form setting, the stochastic calculus is not well established yet. In this monograph, we intend to give an introduction to such calculus. Furthermore, basic examples different from the symmetric cases are given. The text is written for graduate students, but also researchers.

Da die algebraische Geometrie wesentlich vom Fundamentalsatz der Algebra ausgeht, den man nur deshalb in der gewohnten aUgemeinen Form aussprechen kann, weil man dabei die Vielfachheit der Losungen in Betracht zieht, so mull man auch bei jedem Resultat der algebra is chen Geometrie beim Zuriickschreiten die gemeinsame QueUe wiederfinden. Das ware aber nicht mehr moglich, wenn man auf dem Wege das Werkzeug verlore, welches den Fundamentalsatz fruchtbar uud bedeutungsreich macht. Francesco Severi Abh. Math. Sem. Hansischen Univ. 15 (1943), p. 100 This book describes interactions between algebraic geometry, commutative and homo- logical algebra, algebraic topology and combinatorics. The main object of study are Buchsbaum rings. The basic underlying idea of a Buchsbaum ring is a continuation of the well-known concept of a Cohen-Macaulay ring, its necessity being created by open questions of algebraic geometry and algebraic topology. The theory of Buchsbaum rings started from a negative answer to a problem of David A. Buchsbaum. The concept of this theory was introduced in our joint paper published in 1973.

This monograph is concerned with the fitting of linear relationships in the context of the linear statistical model. As alternatives to the familiar least squared residuals procedure, it investigates the relationships between the least absolute residuals, the minimax absolute residual and the least median of squared residuals procedures. It is intended for graduate students and research workers in statistics with some command of matrix analysis and linear programming techniques.

This volume contains five review articles, two in the Algebra part and three in the Geometry part, surveying the fields of cate gories and class field theory, in the Algebra part, and of Finsler spaces, structures on differentiable manifolds, and packing, cover ing, etc., in the Geometry part. The literature covered is primar Hy that published in 1964-1967. Contents ALGEBRA CATEGORIES ............... . 3 M. S. Tsalenko and E. G. Shul'geifer 1. Introduction........... 3 2. Foundations of the Theory of Categories . . . . . 4 3. Fundamentals of the Theory of Categories . . . . . 6 4. Embeddings of Categories ... . . . . . . . . . . . . 14 5. Representations of Categories . . . . . . . . . . . . . 16 6. Axiomatic Characteristics of Algebraic Categories . . . . . . . . . . . . . . . . . . . . . . . . . . 18 7. Reflective Subcategories; Varieties. . . 20 8. Radicals in Categories . . . . . . . 24 9. Categories with Involution. . . . . . 29 10. Universal Algebras in Categories . 30 11. Categories with Multiplication . . . 34 12. Duality of Functors. .. ....... 37 13. Homotopy Theory . . . . .. ........... 39 14. Homological Algebra in Categories. . . . . . 41 15. Concrete Categories . . . . .. ......... 44 16. Generalizations.. . . . . . . 45 Literature Cited . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47 CLASS FIELD THEORY. FIELD EXTENSIONS. . . . . . . . 59 S. P. Demushkin 66 Literature Cited vii CONTENTS viii GEOMETRY 75 FINSLER SPACES AND THEIR GENERALIZATIONS .."

In these volumes, the most significant of the collected papers of the Chinese-American theoretical physicist Tsung-Dao Lee are printed. A complete list of his published papers, in order of publication, appears in the Bibliography of T.D. Lee. The papers have been arranged into ten categories, in most cases according to the subject matter. At the beginning of each of the first eight categories of papers, there is a commentary on the content and significance of all of the papers in the category. The two short final categories do not have any commentaries. The editor would like to thank Dr. Richard Friedberg for his assistance in the early stages of the editorial work on this project, as well as for writing commentaries on the papers of Categories III and IV. I would also like to thank Dr. Norman Christ for writing the commentary on the papers of Category VII. The assistance of Irene Tramm was in- valuable in many aspects of preparing this collection, including locating copies of Lee's papers. GERALD FEINBERG List of Categories of T.D. Lee's Papers Volume 1 I. Weak Interactions II. Early Papers on Astrophysics and Hydrodynamics III. Statistical Mechanics IV. Polarons and Solitons Volume 2 V. Quantum Field Theory VI. Symmetry Principles Volume 3 VII. Discrete Physics VIII. Strong Interaction Models IX. Historical Papers X. Gravity (Continuum Theory) Contents (Volume 1)* Introduction (by G. Feinberg) ............................................................ xi Bibliography of T.D. Lee ................................................................. xv I. Weak Interactions Commentary ................................................................... .

Algorithms for Computer Algebra is the first comprehensive textbook to be published on the topic of computational symbolic mathematics. The book first develops the foundational material from modern algebra that is required for subsequent topics. It then presents a thorough development of modern computational algorithms for such problems as multivariate polynomial arithmetic and greatest common divisor calculations, factorization of multivariate polynomials, symbolic solution of linear and polynomial systems of equations, and analytic integration of elementary functions. Numerous examples are integrated into the text as an aid to understanding the mathematical development. The algorithms developed for each topic are presented in a Pascal-like computer language. An extensive set of exercises is presented at the end of each chapter. Algorithms for Computer Algebra is suitable for use as a textbook for a course on algebraic algorithms at the third-year, fourth-year, or graduate level. Although the mathematical development uses concepts from modern algebra, the book is self-contained in the sense that a one-term undergraduate course introducing students to rings and fields is the only prerequisite assumed. The book also serves well as a supplementary textbook for a traditional modern algebra course, by presenting concrete applications to motivate the understanding of the theory of rings and fields.

This monograph provides an introduction to the theory of Clifford algebras, with an emphasis on its connections with the theory of Lie groups and Lie algebras. The book starts with a detailed presentation of the main results on symmetric bilinear forms and Clifford algebras. It develops the spin groups and the spin representation, culminating in Cartan's famous triality automorphism for the group Spin(8). The discussion of enveloping algebras includes a presentation of Petracci's proof of the Poincare-Birkhoff-Witt theorem.

This is followed by discussions of Weil algebras, Chern--Weil theory, the quantum Weil algebra, and the cubic Dirac operator. The applications to Lie theory include Duflo's theorem for the case of quadratic Lie algebras, multiplets of representations, and Dirac induction. The last part of the book is an account of Kostant's structure theory of the Clifford algebra over a semisimple Lie algebra. It describes his "Clifford algebra analogue" of the Hopf-Koszul-Samelson theorem, and explains his fascinating conjecture relating the Harish-Chandra projection for Clifford algebras to the principal sl(2) subalgebra.

Aside from these beautiful applications, the book will serve as a convenient and up-to-date reference for background material from Clifford theory, relevant for students and researchers in mathematics and physics.

"

The Jacobian of a smooth projective curve is undoubtedly one of the most remarkable and beautiful objects in algebraic geometry. This work is an attempt to develop an analogous theory for smooth projective surfaces - a theory of the nonabelian Jacobian of smooth projective surfaces. Just like its classical counterpart, our nonabelian Jacobian relates to vector bundles (of rank 2) on a surface as well as its Hilbert scheme of points. But it also comes equipped with the variation of Hodge-like structures, which produces a sheaf of reductive Lie algebras naturally attached to our Jacobian. This constitutes a nonabelian analogue of the (abelian) Lie algebra structure of the classical Jacobian. This feature naturally relates geometry of surfaces with the representation theory of reductive Lie algebras/groups. This work's main focus is on providing an in-depth study of various aspects of this relation. It presents a substantial body of evidence that the sheaf of Lie algebras on the nonabelian Jacobian is an efficient tool for using the representation theory to systematically address various algebro-geometric problems. It also shows how to construct new invariants of representation theoretic origin on smooth projective surfaces.

A unique and detailed account of all important relations in the analytic theory of determinants, from the classical work of Laplace, Cauchy and Jacobi to the latest 20th century developments. The first five chapters are purely mathematical in nature and make extensive use of the column vector notation and scaled cofactors. They contain a number of important relations involving derivatives which prove beyond a doubt that the theory of determinants has emerged from the confines of classical algebra into the brighter world of analysis. Chapter 6 is devoted to the verifications of the known determinantal solutions of several nonlinear equations which arise in three branches of mathematical physics, namely lattice, soliton and relativity theory. The solutions are verified by applying theorems established in earlier chapters, and the book ends with an extensive bibliography and index. Several contributions have never been published before. Indispensable for mathematicians, physicists and engineers wishing to become acquainted with this topic.

The primary focus here is on log-linear models for contingency tables, but in this second edition, greater emphasis has been placed on logistic regression. The book explores topics such as logistic discrimination and generalised linear models, and builds upon the relationships between these basic models for continuous data and the analogous log-linear and logistic regression models for discrete data. It also carefully examines the differences in model interpretations and evaluations that occur due to the discrete nature of the data. Sample commands are given for analyses in SAS, BMFP, and GLIM, while numerous data sets from fields as diverse as engineering, education, sociology, and medicine are used to illustrate procedures and provide exercises. Throughoutthe book, the treatment is designed for students with prior knowledge of analysis of variance and regression.

A modern approach to number theory through a blending of complementary algebraic and analytic perspectives, emphasising harmonic analysis on topological groups. The main goal is to cover John Tates visionary thesis, giving virtually all of the necessary analytic details and topological preliminaries -- technical prerequisites that are often foreign to the typical, more algebraically inclined number theorist. While most of the existing treatments of Tates thesis are somewhat terse and less than complete, the intent here is to be more leisurely, more comprehensive, and more comprehensible. While the choice of objects and methods is naturally guided by specific mathematical goals, the approach is by no means narrow. In fact, the subject matter at hand is germane not only to budding number theorists, but also to students of harmonic analysis or the representation theory of Lie groups. The text addresses students who have taken a year of graduate-level course in algebra, analysis, and topology. Moreover, the work will act as a good reference for working mathematicians interested in any of these fields.

This book covers the modular invariant theory of finite groups, the case when the characteristic of the field divides the order of the group, a theory that is more complicated than the study of the classical non-modular case. Largely self-contained, the book develops the theory from its origins up to modern results. It explores many examples, illustrating the theory and its contrast with the better understood non-modular setting. It details techniques for the computation of invariants for many modular representations of finite groups, especially the case of the cyclic group of prime order. It includes detailed examples of many topics as well as a quick survey of the elements of algebraic geometry and commutative algebra as they apply to invariant theory. The book is aimed at both graduate students and researchers-an introduction to many important topics in modern algebra within a concrete setting for the former, an exploration of a fascinating subfield of algebraic geometry for the latter.

This book is intended for mathematicians. Its origins lie in a course of lectures given by an algebraist to a class which had just completed a sub stantial course on abstract algebra. Consequently, our treatment ofthe sub ject is algebraic. Although we assurne a reasonable level of sophistication in algebra, the text requires little more than the basic notions of group, ring, module, etc. A more detailed knowledge of algebra is required for some of . the exercises. We also assurne a familiarity with the main ideas of set theory, including cardinal numbers and Zorn's Lemma. In this book, we carry out a mathematical study of the logic used in mathematics. We do this by constructing a mathematical model oflogic and applying mathematics to analyse the properties of the model. We therefore regard all our existing knowledge of mathematics as being applicable to the analysis of the model, and in particular we accept set theory as part of the meta-Ianguage. We are not attempting to construct a foundation on which all mathematics is to be based-rather, any conclusions to be drawn about the foundations of mathematics co me only by analogy with the model, and are to be regarded in much the same way as the conclusions drawn from any scientific theory."

This book consists of eighteen articles in the area of `Combinatorial Matrix Theory' and `Generalized Inverses of Matrices'. Original research and expository articles presented in this publication are written by leading Mathematicians and Statisticians working in these areas. The articles contained herein are on the following general topics: `matrices in graph theory', `generalized inverses of matrices', `matrix methods in statistics' and `magic squares'. In the area of matrices and graphs, speci_c topics addressed in this volume include energy of graphs, q-analog, immanants of matrices and graph realization of product of adjacency matrices. Topics in the book from `Matrix Methods in Statistics' are, for example, the analysis of BLUE via eigenvalues of covariance matrix, copulas, error orthogonal model, and orthogonal projectors in the linear regression models. Moore-Penrose inverse of perturbed operators, reverse order law in the case of inde_nite inner product space, approximation numbers, condition numbers, idempotent matrices, semiring of nonnegative matrices, regular matrices over incline and partial order of matrices are the topics addressed under the area of theory of generalized inverses. In addition to the above traditional topics and a report on CMTGIM 2012 as an appendix, we have an article on old magic squares from India.

Dedicated to the memory of Chih-Han Sah, this volume continues a long tradition of one of the most influential mathematical seminars of this century. A number of topics are covered, including combinatorial geometry, connections between logic and geometry, Lie groups, algebras and their representations. An additional area of importance is noncommutative algebra and geometry, and its relations to modern physics. Distinguished mathematicians contributing to this work: T.V. Alekseevskaya V. Kac A.V. Borovik A. Kazarnovsky-Krol C.-H. Sah* M. Kontsevich G. Cherlin A. Radul J.L. Dupont A.L. Rosenberg I.M. Gelfand N. White The Gelfand Mathematical Seminar volumes stimulate the birth of significant ideas in contemporary mathematics and remain invaluable reference material. * indicates deceased contributor (Production: please ensure that appropriate symbol be incorporated onto the final back cover design)

This contributed volume brings together the highest quality expository papers written by leaders and talented junior mathematicians in the field of Commutative Algebra. Contributions cover a very wide range of topics, including core areas in Commutative Algebra and also relations to Algebraic Geometry, Algebraic Combinatorics, Hyperplane Arrangements, Homological Algebra, and String Theory. The book aims to showcase the area, especially for the benefit of junior mathematicians and researchers who are new to the field; it will aid them in broadening their background and to gain a deeper understanding of the current research in this area. Exciting developments are surveyed and many open problems are discussed with the aspiration to inspire the readers and foster further research.

This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in getting acquainted with logic and would like to learn Godel's incompleteness theorems should find this book particularly useful. The treatment is thoroughly mathematical and prepares students to branch out in several areas of mathematics related to foundations and computability, such as logic, axiomatic set theory, model theory, recursion theory, and computability.

In this new edition, many small and large changes have been made throughout the text. The main purpose of this new edition is toprovide a healthy first introduction to model theory, which is a very important branch of logic. Topics in the new chapter include ultraproduct of models, elimination of quantifiers, types, applications of types to model theory, and applications to algebra, number theory and geometry. Some proofs, such as the proof of the very important completeness theorem, have been completely rewritten in a more clear and concise manner. The new edition also introduces new topics, such as the notion of elementary class of structures, elementary diagrams, partial elementary maps, homogeneous structures, definability, and many more."