The constructive approach to mathematics has enjoyed a renaissance, caused in large part by the appearance of Errett Bishop's book Foundations of constr"uctiue analysis in 1967, and by the subtle influences of the proliferation of powerful computers. Bishop demonstrated that pure mathematics can be developed from a constructive point of view while maintaining a continuity with classical terminology and spirit; much more of classical mathematics was preserved than had been thought possible, and no classically false theorems resulted, as had been the case in other constructive schools such as intuitionism and Russian constructivism. The computers created a widespread awareness of the intuitive notion of an effecti ve procedure, and of computation in principle, in addi tion to stimulating the study of constructive algebra for actual implementation, and from the point of view of recursive function theory. In analysis, constructive problems arise instantly because we must start with the real numbers, and there is no finite procedure for deciding whether two given real numbers are equal or not (the real numbers are not discrete) . The main thrust of constructive mathematics was in the direction of analysis, although several mathematicians, including Kronecker and van der waerden, made important contributions to construc tive algebra. Heyting, working in intuitionistic algebra, concentrated on issues raised by considering algebraic structures over the real numbers, and so developed a handmaiden'of analysis rather than a theory of discrete algebraic structures.

The constructive approach to mathematics has enjoyed a renaissance, caused in large part by the appearance of Errett Bishop's book Foundations of constr"uctiue analysis in 1967, and by the subtle influences of the proliferation of powerful computers. Bishop demonstrated that pure mathematics can be developed from a constructive point of view while maintaining a continuity with classical terminology and spirit; much more of classical mathematics was preserved than had been thought possible, and no classically false theorems resulted, as had been the case in other constructive schools such as intuitionism and Russian constructivism. The computers created a widespread awareness of the intuitive notion of an effecti ve procedure, and of computation in principle, in addi tion to stimulating the study of constructive algebra for actual implementation, and from the point of view of recursive function theory. In analysis, constructive problems arise instantly because we must start with the real numbers, and there is no finite procedure for deciding whether two given real numbers are equal or not (the real numbers are not discrete) . The main thrust of constructive mathematics was in the direction of analysis, although several mathematicians, including Kronecker and van der waerden, made important contributions to construc tive algebra. Heyting, working in intuitionistic algebra, concentrated on issues raised by considering algebraic structures over the real numbers, and so developed a handmaiden'of analysis rather than a theory of discrete algebraic structures.

Translated from the popular French edition, this book offers a detailed introduction to various basic concepts, methods, principles, and results of commutative algebra. It takes a constructive viewpoint in commutative algebra and studies algorithmic approaches alongside several abstract classical theories. Indeed, it revisits these traditional topics with a new and simplifying manner, making the subject both accessible and innovative. The algorithmic aspects of such naturally abstract topics as Galois theory, Dedekind rings, Prüfer rings, finitely generated projective modules, dimension theory of commutative rings, and others in the current treatise, are all analysed in the spirit of the great developers of constructive algebra in the nineteenth century. This updated and revised edition contains over 350 well-arranged exercises, together with their helpful hints for solution. A basic knowledge of linear algebra, group theory, elementary number theory as well as the fundamentals of ring and module theory is required. Commutative Algebra: Constructive Methods will be useful for graduate students, and also researchers, instructors and theoretical computer scientists.

The notes that eventually became this book were written between 1977 and 1985 for the course called Constructive Combinatorics at the University of Minnesota. This is a one-quarter (10 week) course for upper level undergraduate students. The class usually consists of mathematics and computer science majors, with an occasional engineering student. Several graduate students in computer science also attend. At Minnesota, Constructive Combinatorics is the third quarter of a three quarter sequence. The fIrst quarter, Enumerative Combinatorics, is at the level of the texts by Bogart [Bo], Brualdi [Br], Liu [Li] or Tucker [Tu] and is a prerequisite for this course. The second quarter, Graph Theory and Optimization, is not a prerequisite. We assume that the students are familiar with the techniques of enumeration: basic counting principles, generating functions and inclusion/exclusion. This course evolved from a course on combinatorial algorithms. That course contained a mixture of graph algorithms, optimization and listing algorithms. The computer assignments generally consisted of testing algorithms on examples. While we felt that such material was useful and not without mathematical content, we did not think that the course had a coherent mathematical focus. Furthermore, much of it was being taught, or could have been taught, elsewhere. Graph algorithms and optimization, for instance, were inserted into the graph theory course where they naturally belonged. The computer science department already taught some of the material: the simpler algorithms in a discrete mathematics course; effIciency of algorithms in a more advanced course.

"Presents the structure of algebras appearing in representation theory of groups and algebras with general ring theoretic methods related to representation theory. Covers affine algebraic sets and the nullstellensatz, polynomial and rational functions, projective algebraic sets. Groebner basis, dimension of algebraic sets, local theory, curves and elliptic curves, and more."

The authors present a rigorous treatment of the first principles of the algebraic and analytic core of quantum field theory. Their aim is to correlate modern mathematical theory with the explanation of the observed process of particle production and of particle-wave duality that heuristic quantum field theory provides. Many topics are treated here in book form for the first time, from the origins of complex structures to the quantization of tachyons and domains of dependence for quantized wave equations. This work begins with a comprehensive analysis, in a universal format, of the structure and characterization of free fields, which is illustrated by applications to specific fields. Nonlinear local functions of both free fields (or Wick products) and interacting fields are established mathematically in a way that is consistent with the basic physical constraints and practice. Among other topics discussed are functional integration, Fourier transforms in Hilbert space, and implementability of canonical transformations. The authors address readers interested in fundamental mathematical physics and who have at least the training of an entering graduate student. A series of lexicons connects the mathematical development with the underlying physical motivation or interpretation. The examples and problems illustrate the theory and relate it to the scientific literature. Originally published in 1992. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.