Algebra, Logic and Applications – serie

This advanced textbook on linear algebra and geometry covers a wide range of classical and modern topics. Differing from existing textbooks in approach, the work illustrates the many-sided applications and connections of linear algebra with functional analysis, quantum mechanics and algebraic and differential geometry. The subjects covered in some detail include normed linear spaces, functions of linear operators, the basic structures of quantum mechanics and an introduction to linear programming. Also discussed are Kahler's metic, the theory of Hilbert polynomials, and projective and affine geometries. Unusual in its extensive use of applications in physics to clarify each topic, this comprehensice volume should be of particular interest to advanced undergraduates and graduates in mathematics and physics, and to lecturers in linear and multilinear algebra, linear programming and quantum mechanics.

This volume provides a comprehensive introduction to module theory and the related part of ring theory, including original results as well as the most recent work. It is a useful and stimulating study for those new to the subject as well as for researchers and serves as a reference volume. Starting form a basic understanding of linear algebra, the theory is presented and accompanied by complete proofs. For a module M, the smallest Grothendieck category containing it is denoted by o[M] and module theory is developed in this category. Developing the techniques in o[M] is no more complicated than in full module categories and the higher generality yields significant advantages: for example, module theory may be developed for rings without units and also for non-associative rings. Numerous exercises are included in this volume to give further insight into the topics covered and to draw attention to related results in the literature.

A conference on Semantics of Programming Languages and Model Theory was held at the International Conference and Research Center for Computer Science, SchloB Dägstuhl, during June 23-29, 1991. Participants from 10 countries represented a wide range of interests on the subject where the interaction of different fields is so fruitful. In particular, methods from algebra, logic and order theory were used for the solution of problems from denotational semantics and domain theory; this was reflected in some talks. Several other talks treated topics ranging from functional programming languages and database models to linear logic, boolean algebras and model theory. A number of lectures dealt with the quickly developing area of evolving algebras and in particular with evolving algebra semantics of PROLOG and its relatives. This volume contains papers presented at the conference and a few others submitted by colleagues unable to attend.

This book is a collection of exercises for courses in higher algebra, linear algebra and geometry. It is helpful for postgraduate students in checking the solutions and answers to the exercises.

This book is a collection of exercises for courses in higher algebra, linear algebra and geometry. It is helpful for postgraduate students in checking the solutions and answers to the exercises.

Giving an easily accessible elementary introduction to the algebraic theory of quadratic forms, this book covers both Witt's theory and Pfister's theory of quadratic forms.Leading topics include the geometry of bilinear spaces, classification of bilinear spaces up to isometry depending on the ground field, formally real fields, Pfister forms, the Witt ring of an arbitrary field (characteristic two included), prime ideals of the Witt ring, Brauer group of a field, Hasse and Witt invariants of quadratic forms, and equivalence of fields with respect to quadratic forms. Problem sections are included at the end of each chapter. There are two appendices: the first gives a treatment of Hasse and Witt invariants in the language of Steinberg symbols, and the second contains some more advanced problems in 10 groups, including the u-invariant, reduced and stable Witt rings, and Witt equivalence of fields.

The prototypical multilinear operation is multiplication. Indeed, every multilinear mapping can be factored through a tensor product. Apart from its intrinsic interest, the tensor product is of fundamental importance in a variety of disciplines, ranging from matrix inequalities and group representation theory, to the combinatorics of symmetric functions, and all these subjects appear in this book. Another attraction of multilinear algebra lies in its power to unify such seemingly diverse topics. This is done in the final chapter by means of the rational representations of the full linear group. Arising as characters of these representations, the classical Schur polynomials are one of the keys to unification. Prerequisites for the book are minimized by self-contained introductions in the early chapters. Throughout the text, some of the easier proofs are left to the exercises, and some of the more difficult ones to the references.

Theories and results on hyperidentities have been published in various areas of the literature over the last 18 years. Hyperidentities and Clones integrates these into a coherent framework for the first time. The author also includes some applications of hyperidentities to the functional completeness problem in multiple-valued logic and extends the general theory to partial algebras. The last chapter contains exercises and open problems with suggestions for future work in this area of research. Graduate students and mathematical researchers will find Hyperidentities and Clones a thought-provoking and illuminating text that offers a unique opportunity to study the topic in one source.

Model theory investigates mathematical structures by means of formal languages. So-called first-order languages have proved particularly useful in this respect.This text introduces the model theory of first-order logic, avoiding syntactical issues not too relevant to model theory. In this spirit, the compactness theorem is proved via the algebraically useful ultrsproduct technique (rather than via the completeness theorem of first-order logic). This leads fairly quickly to algebraic applications, like Malcev's local theorems of group theory and, after a little more preparation, to Hilbert's Nullstellensatz of field theory.Steinitz dimension theory for field extensions is obtained as a special case of a much more general model-theoretic treatment of strongly minimal theories. There is a final chapter on the models of the first-order theory of the integers as an abelian group. Both these topics appear here for the first time in a textbook at the introductory level, and are used to give hints to further reading and to recent developments in the field, such as stability (or classification) theory.

Model theory investigates mathematical structures by means of formal languages. So-called first-order languages have proved particularly useful in this respect.This text introduces the model theory of first-order logic, avoiding syntactical issues not too relevant to model theory. In this spirit, the compactness theorem is proved via the algebraically useful ultrsproduct technique (rather than via the completeness theorem of first-order logic). This leads fairly quickly to algebraic applications, like Malcev's local theorems of group theory and, after a little more preparation, to Hilbert's Nullstellensatz of field theory.Steinitz dimension theory for field extensions is obtained as a special case of a much more general model-theoretic treatment of strongly minimal theories. There is a final chapter on the models of the first-order theory of the integers as an abelian group. Both these topics appear here for the first time in a textbook at the introductory level, and are used to give hints to further reading and to recent developments in the field, such as stability (or classification) theory.

This volume highlights the links between model theory and algebra. The work contains a definitive account of algebraically compact modules, a topic of central importance for both module and model theory. Using concrete examples, particular emphasis is given to model theoretic concepts, such as axiomizability. Pure mathematicians, especially algebraists, ring theorists, logicians, model theorists and representation theorists, should find this an absorbing and stimulating book.

Contains 25 surveys in algebra and model theory, all written by leading experts in the field. The surveys are based around talks given at conferences held in Essen, 1994, and Dresden, 1995. Each contribution is written in such a way as to highlight the ideas that were discussed at the conferences, and also to stimulate open research problems in a form accessible to the whole mathematical community.The topics include field and ring theory as well as groups, ordered algebraic structure and their relationship to model theory. Several papers deal with infinite permutation groups, abelian groups, modules and their relatives and representations. Model theoretic aspects include quantifier elimination in skew fields, Hilbert's 17th problem, (aleph-0)-categorical structures and Boolean algebras. Moreover symmetry questions and automorphism groups of orders are covered.This work contains 25 surveys in algebra and model theory, each is written in such a way as to highlight the ideas that were discussed at Conferences, and also to stimulate open research problems in a form accessible to the whole mathematical community.

An almost completely decomposable abelian (acd) group is an extension of a finite direct sum of subgroups of the additive group of rational numbers by a finite abelian group. Examples are easy to write and are frequently used but have been notoriously difficult to study and classify because of their computational nature. However, a general theory of acd groups has been developed and a suitable weakening of isomorphism, Lady's near-isomorphism, has been established as the rightconcept for studying acd groups. A number of important classes of acd groups has been successfully classified. Direct sum decompositions of acd groups are preserved under near-isomorphism and the well-known pathological decompositions can actually be surveyed in special cases.