國立虎尾科技大學 |

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

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Constructive Commutative Algebra/ by Ihsen Yengui.
其他題名:	Projective Modules Over Polynomial Rings and Dynamical Gröbner Bases /
作者:	Yengui, Ihsen.
面頁冊數:	VII, 271 p. 5 illus.online resource. :
Contained By:	Springer Nature eBook
標題:	Commutative algebra. -
電子資源:	https://doi.org/10.1007/978-3-319-19494-3
ISBN:	9783319194943

Constructive Commutative Algebra = Projective Modules Over Polynomial Rings and Dynamical Gröbner Bases /
Yengui, Ihsen.

Constructive Commutative AlgebraProjective Modules Over Polynomial Rings and Dynamical Gröbner Bases /[electronic resource] :by Ihsen Yengui. - 1st ed. 2015. - VII, 271 p. 5 illus.online resource. - Lecture Notes in Mathematics,21380075-8434 ;. - Lecture Notes in Mathematics,2144.

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

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.

ISBN: 9783319194943

Standard No.: 10.1007/978-3-319-19494-3doiSubjects--Topical Terms:

672047
Commutative algebra.

LC Class. No.: QA251.3

Dewey Class. No.: 512.44

Constructive Commutative Algebra = Projective Modules Over Polynomial Rings and Dynamical Gröbner Bases /
LDR:02924nam a22004095i 4500 001 966414
003 DE-He213
005 20200707010132.0
007 cr nn 008mamaa
008 201211s2015 gw | s |||| 0|eng d
020 $a 9783319194943 $9 978-3-319-19494-3
024 7 $a 10.1007/978-3-319-19494-3 $2 doi
035 $a 978-3-319-19494-3
050 4 $a QA251.3
072 7 $a PBF $2 bicssc
072 7 $a MAT002010 $2 bisacsh
072 7 $a PBF $2 thema
082 0 4 $a 512.44 $2 23
100 1 $a Yengui, Ihsen. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1070541
245 1 0 $a Constructive Commutative Algebra $h [electronic resource] : $b Projective Modules Over Polynomial Rings and Dynamical Gröbner Bases / $c by Ihsen Yengui.
250 $a 1st ed. 2015.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2015.
300 $a VII, 271 p. 5 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Lecture Notes in Mathematics, $x 0075-8434 ; $v 2138
505 0 $a Projective modules over polynomial rings -- Dynamical Gr¨obner bases -- Syzygies in polynomial rings over valuation domains -- Exercises -- Detailed solutions to the exercises.
520 $a 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.
650 0 $a Commutative algebra. $3 672047
650 0 $a Commutative rings. $3 672474
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 0 $a Computer science—Mathematics. $3 1253519
650 1 4 $a Commutative Rings and Algebras. $3 672054
650 2 4 $a Mathematical Logic and Foundations. $3 669393
650 2 4 $a Symbolic and Algebraic Manipulation. $3 669944
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319194950
776 0 8 $i Printed edition: $z 9783319194936
830 0 $a Lecture Notes in Mathematics, $x 0075-8434 ; $v 2144 $3 1254300
856 4 0 $u https://doi.org/10.1007/978-3-319-19494-3
912 $a ZDB-2-SMA
912 $a ZDB-2-SXMS
912 $a ZDB-2-LNM
950 $a Mathematics and Statistics (SpringerNature-11649)
950 $a Mathematics and Statistics (R0) (SpringerNature-43713)