Constructive Commutative Algebra Projective Modules Over Polynomial Rings and Dynamical Gröbner Bases /

• Main Author: Yengui, Ihsen (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
• Series: Lecture Notes in Mathematics, 2138
• Subjects: Mathematics.; Computer science > Mathematics.; Commutative algebra.; Commutative rings.; Mathematical logic.; Commutative Rings and Algebras.; Mathematical Logic and Foundations.; Symbolic and Algebraic Manipulation.

The main goal of this book is to find the constructive content hidden in abstract proofs of concrete theorems in Commutative Algebra, especially in well-known theorems concerning projective modules over polynomial rings (mainly the Quillen-Suslin theorem) and syzygies of multivariate polynomials wit...

Table of Contents:

• Projective modules over polynomial rings
• Dynamical Gr¨obner bases
• Syzygies in polynomial rings over valuation domains
• Exercises
• Detailed solutions to the exercises.