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

閲覧数: 1
ダウンロード数: 0
このエントリーをはてなブックマークに追加

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

フォーマット:
電子ブック
責任表示:
by Ihsen Yengui
本文言語:
英語
出版情報:
Cham, Germany. 2015-. Springer International Publishing,Imprint: Springer
シリーズ:
Lecture Notes in Mathematics; 2138
概要:
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 with coefficients in a valuation ring. Simple and constructive proofs of some results in the theory of projective modules over polynomial rings are also given, and light is cast upon recent progress on the Hermite ring and Gröbner ring conjectures. New conjectures on unimodular completion arising from our constructive approach to the unimodular completion problem are presented. Constructive algebra can be understood as a first preprocessing step for computer algebra that leads to the discovery of general algorithms, even if they are sometimes not efficient. From a logical point of view, the dynamical evaluation gives a constructive substitute for two highly nonconstructive tools of abstract algebra: the Law of Excluded Middle and Zorn's Lemma. For instance, these tools are required in order to construct the complete prime factorization of an ideal in a Dedekind ring, whereas the dynamical method reveals the computational content of this construction. These lecture notes follow this dynamical philosophy. 続きを見る
目次:
Projective modules over polynomial rings
Dynamical Gr¨obner bases
Syzygies in polynomial rings over valuation domains
Exercises
Detailed solutions to the exercises.
Projective modules over polynomial rings
Dynamical Gr¨obner bases
Syzygies in polynomial rings over valuation domains
Exercises
Detailed solutions to the exercises.

本文を見る

類似資料:

1
Foundations of Commutative Rings and Their Modules by Wang, Fanggui; Kim, Hwankoo; SpringerLink
2
Computational Linear and Commutative Algebra by Kreuzer, Martin; Robbiano, Lorenzo; SpringerLink
8
Minimal Free Resolutions over Complete Intersections by Eisenbud, David; Peeva, Irena; SpringerLink
9
Arithmetically Cohen-Macaulay Sets of Points in P^1 x P^1 by Guardo, Elena; Van Tuyl, Adam; SpringerLink
4
Applications of Computer Algebra : Kalamata, Greece, July 20–23 2015 by Kotsireas, Ilias S; Martínez-Moro, Edgar; SpringerLink
5
Commutative Algebra: Constructive Methods : Finite Projective Modules by Lombardi, Henri; Quitté, Claude; SpringerLink
11
Algebra 1 : Groups, Rings, Fields and Arithmetic by Lal, Ramji; SpringerLink
6
Multiplicative Ideal Theory and Factorization Theory : Commutative and Non-commutative Perspectives by Chapman, Scott; Fontana, Marco; Geroldinger, Alfred; Olberding, Bruce; SpringerLink
1.
Foundations of Commutative Rings and Their Modules by Wang, Fanggui; Kim, Hwankoo; SpringerLink
2.
Computational Linear and Commutative Algebra by Kreuzer, Martin; Robbiano, Lorenzo; SpringerLink
4.
Applications of Computer Algebra : Kalamata, Greece, July 20–23 2015 by Kotsireas, Ilias S; Martínez-Moro, Edgar; SpringerLink
5.
Commutative Algebra: Constructive Methods : Finite Projective Modules by Lombardi, Henri; Quitté, Claude; SpringerLink
6.
Multiplicative Ideal Theory and Factorization Theory : Commutative and Non-commutative Perspectives by Chapman, Scott; Fontana, Marco; Geroldinger, Alfred; Olberding, Bruce; SpringerLink
8.
Minimal Free Resolutions over Complete Intersections by Eisenbud, David; Peeva, Irena; SpringerLink
9.
Arithmetically Cohen-Macaulay Sets of Points in P^1 x P^1 by Guardo, Elena; Van Tuyl, Adam; SpringerLink
11.
Algebra 1 : Groups, Rings, Fields and Arithmetic by Lal, Ramji; SpringerLink