- Gebundenes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
This book provides a comprehensive treatment of Gr bner bases theory embedded in an introduction to commutative algebra from a computational point of view. The book explains how the Buchberger algorithm and the theory surrounding it are eminently important both for the mathematical theory and for computational applications. A number of results such as optimized version of the Buchberger algorithm are presented in textbook format for the first time.
Andere Kunden interessierten sich auch für
![Noncommutative Gröbner Bases and Filtered-Graded Transfer]( "Noncommutative Gröbner Bases and Filtered-Graded Transfer")
Huishi LiNoncommutative Gröbner Bases and Filtered-Graded Transfer35,99 €![Introduction to the Galois Correspondence]( "Introduction to the Galois Correspondence")
Maureen H. FenrickIntroduction to the Galois Correspondence38,99 €![Rings, Fields, and Vector Spaces]( "Rings, Fields, and Vector Spaces")
B.A. SethuramanRings, Fields, and Vector Spaces46,99 €![Introduction to the Galois Correspondence]( "Introduction to the Galois Correspondence")
Maureen H. FenrickIntroduction to the Galois Correspondence39,99 €![Abelian Groups and Representations of Finite Partially Ordered Sets]( "Abelian Groups and Representations of Finite Partially Ordered Sets")
David ArnoldAbelian Groups and Representations of Finite Partially Ordered Sets146,99 €![Abelian Groups and Representations of Finite Partially Ordered Sets]( "Abelian Groups and Representations of Finite Partially Ordered Sets")
David ArnoldAbelian Groups and Representations of Finite Partially Ordered Sets38,99 €![Introduction to Affine Group Schemes]( "Introduction to Affine Group Schemes")
W.C. WaterhouseIntroduction to Affine Group Schemes65,99 €-
-
-
This book provides a comprehensive treatment of Gr bner bases theory embedded in an introduction to commutative algebra from a computational point of view. The book explains how the Buchberger algorithm and the theory surrounding it are eminently important both for the mathematical theory and for computational applications. A number of results such as optimized version of the Buchberger algorithm are presented in textbook format for the first time.
Produktdetails
- Produktdetails
- Verlag: Springer / Springer US, New York, N.Y.
- Seitenzahl: 604
- Erscheinungstermin: 8. April 1993
- Englisch
- Abmessung: 241mm x 160mm x 37mm
- Gewicht: 1062g
- ISBN-13: 9780387979717
- ISBN-10: 0387979719
- Artikelnr.: 21789501
- Herstellerkennzeichnung
- Springer-Verlag GmbH
- Tiergartenstr. 17
- 69121 Heidelberg
- ProductSafety@springernature.com
- Verlag: Springer / Springer US, New York, N.Y.
- Seitenzahl: 604
- Erscheinungstermin: 8. April 1993
- Englisch
- Abmessung: 241mm x 160mm x 37mm
- Gewicht: 1062g
- ISBN-13: 9780387979717
- ISBN-10: 0387979719
- Artikelnr.: 21789501
- Herstellerkennzeichnung
- Springer-Verlag GmbH
- Tiergartenstr. 17
- 69121 Heidelberg
- ProductSafety@springernature.com
Dr. rer. med. Uta Gühne, Dipl.-Psych. Institut für Sozialmedizin, Arbeitsmedizin und Public Health (ISAP), Universität Leipzig. Ruth Fricke, Herford. Gudrun Schliebener, Herford. Prof. Dr. Thomas Becker, Klinik für Psychiatrie und Psychotherapie II der Universität Ulm am Bezirkskrankenhaus Günzburg. Prof. Dr. Steffi G. Riedel-Heller, Institut für Sozialmedizin, Arbeitsmedizin und Public Health (ISAP), Universität Leipzig.
0 Basics.
0.1 Natural Numbers and Integers.
0.2 Maps.
0.3 Mathematical Algorithms.
Notes.
1 Commutative Rings with Unity.
1.1 Why Abstract Algebra?.
1.2 Groups.
1.3 Rings.
1.4 Subrings and Homomorphisms.
1.5 Ideals and Residue Class Rings.
1.6 The Homomorphism Theorem.
1.7 Gcd's, Lcm's, and Principal Ideal Domains.
1.8 Maximal and Prime Ideals.
1.9 Prime Rings and Characteristic.
1.10 Adjunction, Products, and Quotient Rings.
Notes.
2 Polynomial Rings.
2.1 Definitions.
2.2 Euclidean Domains.
2.3 Unique Factorization Domains.
2.4 The Gaussian Lemma.
2.5 Polynomial Gcd's.
2.6 Squarefree Decomposition of Polynomials.
2.7 Factorization of Polynomials.
2.8 The Chinese Remainder Theorem.
Notes.
3 Vector Spaces and Modules.
3.1 Vector Spaces.
3.2 Independent Sets and Dimension.
3.3 Modules.
Notes.
4 Orders and Abstract Reduction Relations.
4.1 The Axiom of Choice and Some Consequences in Algebra.
4.2 Relations.
4.3 Foundedness Properties.
4.4 Some Special Orders.
4.5 Reduction Relations.
4.6 Computing in Algebraic Structures.
Notes.
5 Gröbner Bases.
5.1 Term Orders and Polynomial Reductions.
5.2 Gröbner Bases
Existence and Uniqueness.
5.3 Gröbner Bases
Construction.
5.4 Standard Representations.
5.5 Improved Gröbner Basis Algorithms.
5.6 The Extended Gröbner Basis Algorithm.
Notes.
6 First Applications of Gröbner Bases.
6.1 Computation of Syzygies.
6.2 Basic Algorithms in Ideal Theory.
6.3 Dimension of Ideals.
6.4 Uniform Word Problems.
Notes.
7 Field Extensions and the Hilbert Nullstellensatz.
7.1 Field Extensions.
7.2 The Algebraic Closure of a Field.
7.3 Separable Polynomials and Perfect Fields.
7.4 The Hilbert Nullstellensatz.
7.5 Height and Depth of Prime Ideals.
7.6 Implicitization of RationalParametrizations.
7.7 Invertibility of Polynomial Maps.
Notes.
8 Decomposition, Radical, and Zeroes of Ideals.
8.1 Preliminaries.
8.2 The Radical of a Zero
Dimensional Ideal.
8.3 The Number of Zeroes of an Ideal.
8.4 Primary Ideals.
8.5 Primary Decomposition in Noetherian Rings.
8.6 Primary Decomposition of Zero
Dimensional Ideals.
8.7 Radical and Decomposition in Higher Dimensions.
8.8 Computing Real Zeroes of Polynomial Systems.
Notes.
9 Linear Algebra in Residue Class Rings.
9.1 Gröbner Bases and Reduced Terms.
9.2 Computing in Finitely Generated Algebras.
9.3 Dimensions and the Hilbert Function.
Notes.
10 Variations on Gröbner Bases.
10.1 Gröbner Bases over PID's and Euclidean Domains.
10.2 Homogeneous Gröbner Bases.
10.3 Homogenization.
10.4 Gröbner Bases for Polynomial Modules.
10.5 Systems of Linear Equations.
10.6 Standard Bases and the Tangent Cone.
10.7 Symmetric Functions.
Notes.
Appendix: Outlook on Advanced and Related Topics.
Complexity of Gröbner Basis Constructions.
Term Orders and Universal Gröbner Bases.
Comprehensive Gröbner Bases.
Gröbner Bases and Automatic Theorem Proving.
Characteristic Sets and Wu
Ritt Reduction.
Term Rewriting.
Standard Bases in Power Series Rings.
Non
Commutative Gröbner Bases.
Gröbner Bases and Differential Algebra.
Selected Bibliography.
Conference Proceedings.
Books and Monographs.
Articles.
List of Symbols.
0.1 Natural Numbers and Integers.
0.2 Maps.
0.3 Mathematical Algorithms.
Notes.
1 Commutative Rings with Unity.
1.1 Why Abstract Algebra?.
1.2 Groups.
1.3 Rings.
1.4 Subrings and Homomorphisms.
1.5 Ideals and Residue Class Rings.
1.6 The Homomorphism Theorem.
1.7 Gcd's, Lcm's, and Principal Ideal Domains.
1.8 Maximal and Prime Ideals.
1.9 Prime Rings and Characteristic.
1.10 Adjunction, Products, and Quotient Rings.
Notes.
2 Polynomial Rings.
2.1 Definitions.
2.2 Euclidean Domains.
2.3 Unique Factorization Domains.
2.4 The Gaussian Lemma.
2.5 Polynomial Gcd's.
2.6 Squarefree Decomposition of Polynomials.
2.7 Factorization of Polynomials.
2.8 The Chinese Remainder Theorem.
Notes.
3 Vector Spaces and Modules.
3.1 Vector Spaces.
3.2 Independent Sets and Dimension.
3.3 Modules.
Notes.
4 Orders and Abstract Reduction Relations.
4.1 The Axiom of Choice and Some Consequences in Algebra.
4.2 Relations.
4.3 Foundedness Properties.
4.4 Some Special Orders.
4.5 Reduction Relations.
4.6 Computing in Algebraic Structures.
Notes.
5 Gröbner Bases.
5.1 Term Orders and Polynomial Reductions.
5.2 Gröbner Bases
Existence and Uniqueness.
5.3 Gröbner Bases
Construction.
5.4 Standard Representations.
5.5 Improved Gröbner Basis Algorithms.
5.6 The Extended Gröbner Basis Algorithm.
Notes.
6 First Applications of Gröbner Bases.
6.1 Computation of Syzygies.
6.2 Basic Algorithms in Ideal Theory.
6.3 Dimension of Ideals.
6.4 Uniform Word Problems.
Notes.
7 Field Extensions and the Hilbert Nullstellensatz.
7.1 Field Extensions.
7.2 The Algebraic Closure of a Field.
7.3 Separable Polynomials and Perfect Fields.
7.4 The Hilbert Nullstellensatz.
7.5 Height and Depth of Prime Ideals.
7.6 Implicitization of RationalParametrizations.
7.7 Invertibility of Polynomial Maps.
Notes.
8 Decomposition, Radical, and Zeroes of Ideals.
8.1 Preliminaries.
8.2 The Radical of a Zero
Dimensional Ideal.
8.3 The Number of Zeroes of an Ideal.
8.4 Primary Ideals.
8.5 Primary Decomposition in Noetherian Rings.
8.6 Primary Decomposition of Zero
Dimensional Ideals.
8.7 Radical and Decomposition in Higher Dimensions.
8.8 Computing Real Zeroes of Polynomial Systems.
Notes.
9 Linear Algebra in Residue Class Rings.
9.1 Gröbner Bases and Reduced Terms.
9.2 Computing in Finitely Generated Algebras.
9.3 Dimensions and the Hilbert Function.
Notes.
10 Variations on Gröbner Bases.
10.1 Gröbner Bases over PID's and Euclidean Domains.
10.2 Homogeneous Gröbner Bases.
10.3 Homogenization.
10.4 Gröbner Bases for Polynomial Modules.
10.5 Systems of Linear Equations.
10.6 Standard Bases and the Tangent Cone.
10.7 Symmetric Functions.
Notes.
Appendix: Outlook on Advanced and Related Topics.
Complexity of Gröbner Basis Constructions.
Term Orders and Universal Gröbner Bases.
Comprehensive Gröbner Bases.
Gröbner Bases and Automatic Theorem Proving.
Characteristic Sets and Wu
Ritt Reduction.
Term Rewriting.
Standard Bases in Power Series Rings.
Non
Commutative Gröbner Bases.
Gröbner Bases and Differential Algebra.
Selected Bibliography.
Conference Proceedings.
Books and Monographs.
Articles.
List of Symbols.
0 Basics.- 0.1 Natural Numbers and Integers.- 0.2 Maps.- 0.3 Mathematical Algorithms.- Notes.- 1 Commutative Rings with Unity.- 1.1 Why Abstract Algebra?.- 1.2 Groups.- 1.3 Rings.- 1.4 Subrings and Homomorphisms.- 1.5 Ideals and Residue Class Rings.- 1.6 The Homomorphism Theorem.- 1.7 Gcd's, Lcm's, and Principal Ideal Domains.- 1.8 Maximal and Prime Ideals.- 1.9 Prime Rings and Characteristic.- 1.10 Adjunction, Products, and Quotient Rings.- Notes.- 2 Polynomial Rings.- 2.1 Definitions.- 2.2 Euclidean Domains.- 2.3 Unique Factorization Domains.- 2.4 The Gaussian Lemma.- 2.5 Polynomial Gcd's.- 2.6 Squarefree Decomposition of Polynomials.- 2.7 Factorization of Polynomials.- 2.8 The Chinese Remainder Theorem.- Notes.- 3 Vector Spaces and Modules.- 3.1 Vector Spaces.- 3.2 Independent Sets and Dimension.- 3.3 Modules.- Notes.- 4 Orders and Abstract Reduction Relations.- 4.1 The Axiom of Choice and Some Consequences in Algebra.- 4.2 Relations.- 4.3 Foundedness Properties.- 4.4 Some Special Orders.- 4.5 Reduction Relations.- 4.6 Computing in Algebraic Structures.- Notes.- 5 Gröbner Bases.- 5.1 Term Orders and Polynomial Reductions.- 5.2 Gröbner Bases-Existence and Uniqueness.- 5.3 Gröbner Bases-Construction.- 5.4 Standard Representations.- 5.5 Improved Gröbner Basis Algorithms.- 5.6 The Extended Gröbner Basis Algorithm.- Notes.- 6 First Applications of Gröbner Bases.- 6.1 Computation of Syzygies.- 6.2 Basic Algorithms in Ideal Theory.- 6.3 Dimension of Ideals.- 6.4 Uniform Word Problems.- Notes.- 7 Field Extensions and the Hilbert Nullstellensatz.- 7.1 Field Extensions.- 7.2 The Algebraic Closure of a Field.- 7.3 Separable Polynomials and Perfect Fields.- 7.4 The Hilbert Nullstellensatz.- 7.5 Height and Depth of Prime Ideals.- 7.6 Implicitization of RationalParametrizations.- 7.7 Invertibility of Polynomial Maps.- Notes.- 8 Decomposition, Radical, and Zeroes of Ideals.- 8.1 Preliminaries.- 8.2 The Radical of a Zero-Dimensional Ideal.- 8.3 The Number of Zeroes of an Ideal.- 8.4 Primary Ideals.- 8.5 Primary Decomposition in Noetherian Rings.- 8.6 Primary Decomposition of Zero-Dimensional Ideals.- 8.7 Radical and Decomposition in Higher Dimensions.- 8.8 Computing Real Zeroes of Polynomial Systems.- Notes.- 9 Linear Algebra in Residue Class Rings.- 9.1 Gröbner Bases and Reduced Terms.- 9.2 Computing in Finitely Generated Algebras.- 9.3 Dimensions and the Hilbert Function.- Notes.- 10 Variations on Gröbner Bases.- 10.1 Gröbner Bases over PID's and Euclidean Domains.- 10.2 Homogeneous Gröbner Bases.- 10.3 Homogenization.- 10.4 Gröbner Bases for Polynomial Modules.- 10.5 Systems of Linear Equations.- 10.6 Standard Bases and the Tangent Cone.- 10.7 Symmetric Functions.- Notes.- Appendix: Outlook on Advanced and Related Topics.- Complexity of Gröbner Basis Constructions.- Term Orders and Universal Gröbner Bases.- Comprehensive Gröbner Bases.- Gröbner Bases and Automatic Theorem Proving.- Characteristic Sets and Wu-Ritt Reduction.- Term Rewriting.- Standard Bases in Power Series Rings.- Non-Commutative Gröbner Bases.- Gröbner Bases and Differential Algebra.- Selected Bibliography.- Conference Proceedings.- Books and Monographs.- Articles.- List of Symbols.
0 Basics.
0.1 Natural Numbers and Integers.
0.2 Maps.
0.3 Mathematical Algorithms.
Notes.
1 Commutative Rings with Unity.
1.1 Why Abstract Algebra?.
1.2 Groups.
1.3 Rings.
1.4 Subrings and Homomorphisms.
1.5 Ideals and Residue Class Rings.
1.6 The Homomorphism Theorem.
1.7 Gcd's, Lcm's, and Principal Ideal Domains.
1.8 Maximal and Prime Ideals.
1.9 Prime Rings and Characteristic.
1.10 Adjunction, Products, and Quotient Rings.
Notes.
2 Polynomial Rings.
2.1 Definitions.
2.2 Euclidean Domains.
2.3 Unique Factorization Domains.
2.4 The Gaussian Lemma.
2.5 Polynomial Gcd's.
2.6 Squarefree Decomposition of Polynomials.
2.7 Factorization of Polynomials.
2.8 The Chinese Remainder Theorem.
Notes.
3 Vector Spaces and Modules.
3.1 Vector Spaces.
3.2 Independent Sets and Dimension.
3.3 Modules.
Notes.
4 Orders and Abstract Reduction Relations.
4.1 The Axiom of Choice and Some Consequences in Algebra.
4.2 Relations.
4.3 Foundedness Properties.
4.4 Some Special Orders.
4.5 Reduction Relations.
4.6 Computing in Algebraic Structures.
Notes.
5 Gröbner Bases.
5.1 Term Orders and Polynomial Reductions.
5.2 Gröbner Bases
Existence and Uniqueness.
5.3 Gröbner Bases
Construction.
5.4 Standard Representations.
5.5 Improved Gröbner Basis Algorithms.
5.6 The Extended Gröbner Basis Algorithm.
Notes.
6 First Applications of Gröbner Bases.
6.1 Computation of Syzygies.
6.2 Basic Algorithms in Ideal Theory.
6.3 Dimension of Ideals.
6.4 Uniform Word Problems.
Notes.
7 Field Extensions and the Hilbert Nullstellensatz.
7.1 Field Extensions.
7.2 The Algebraic Closure of a Field.
7.3 Separable Polynomials and Perfect Fields.
7.4 The Hilbert Nullstellensatz.
7.5 Height and Depth of Prime Ideals.
7.6 Implicitization of RationalParametrizations.
7.7 Invertibility of Polynomial Maps.
Notes.
8 Decomposition, Radical, and Zeroes of Ideals.
8.1 Preliminaries.
8.2 The Radical of a Zero
Dimensional Ideal.
8.3 The Number of Zeroes of an Ideal.
8.4 Primary Ideals.
8.5 Primary Decomposition in Noetherian Rings.
8.6 Primary Decomposition of Zero
Dimensional Ideals.
8.7 Radical and Decomposition in Higher Dimensions.
8.8 Computing Real Zeroes of Polynomial Systems.
Notes.
9 Linear Algebra in Residue Class Rings.
9.1 Gröbner Bases and Reduced Terms.
9.2 Computing in Finitely Generated Algebras.
9.3 Dimensions and the Hilbert Function.
Notes.
10 Variations on Gröbner Bases.
10.1 Gröbner Bases over PID's and Euclidean Domains.
10.2 Homogeneous Gröbner Bases.
10.3 Homogenization.
10.4 Gröbner Bases for Polynomial Modules.
10.5 Systems of Linear Equations.
10.6 Standard Bases and the Tangent Cone.
10.7 Symmetric Functions.
Notes.
Appendix: Outlook on Advanced and Related Topics.
Complexity of Gröbner Basis Constructions.
Term Orders and Universal Gröbner Bases.
Comprehensive Gröbner Bases.
Gröbner Bases and Automatic Theorem Proving.
Characteristic Sets and Wu
Ritt Reduction.
Term Rewriting.
Standard Bases in Power Series Rings.
Non
Commutative Gröbner Bases.
Gröbner Bases and Differential Algebra.
Selected Bibliography.
Conference Proceedings.
Books and Monographs.
Articles.
List of Symbols.
0.1 Natural Numbers and Integers.
0.2 Maps.
0.3 Mathematical Algorithms.
Notes.
1 Commutative Rings with Unity.
1.1 Why Abstract Algebra?.
1.2 Groups.
1.3 Rings.
1.4 Subrings and Homomorphisms.
1.5 Ideals and Residue Class Rings.
1.6 The Homomorphism Theorem.
1.7 Gcd's, Lcm's, and Principal Ideal Domains.
1.8 Maximal and Prime Ideals.
1.9 Prime Rings and Characteristic.
1.10 Adjunction, Products, and Quotient Rings.
Notes.
2 Polynomial Rings.
2.1 Definitions.
2.2 Euclidean Domains.
2.3 Unique Factorization Domains.
2.4 The Gaussian Lemma.
2.5 Polynomial Gcd's.
2.6 Squarefree Decomposition of Polynomials.
2.7 Factorization of Polynomials.
2.8 The Chinese Remainder Theorem.
Notes.
3 Vector Spaces and Modules.
3.1 Vector Spaces.
3.2 Independent Sets and Dimension.
3.3 Modules.
Notes.
4 Orders and Abstract Reduction Relations.
4.1 The Axiom of Choice and Some Consequences in Algebra.
4.2 Relations.
4.3 Foundedness Properties.
4.4 Some Special Orders.
4.5 Reduction Relations.
4.6 Computing in Algebraic Structures.
Notes.
5 Gröbner Bases.
5.1 Term Orders and Polynomial Reductions.
5.2 Gröbner Bases
Existence and Uniqueness.
5.3 Gröbner Bases
Construction.
5.4 Standard Representations.
5.5 Improved Gröbner Basis Algorithms.
5.6 The Extended Gröbner Basis Algorithm.
Notes.
6 First Applications of Gröbner Bases.
6.1 Computation of Syzygies.
6.2 Basic Algorithms in Ideal Theory.
6.3 Dimension of Ideals.
6.4 Uniform Word Problems.
Notes.
7 Field Extensions and the Hilbert Nullstellensatz.
7.1 Field Extensions.
7.2 The Algebraic Closure of a Field.
7.3 Separable Polynomials and Perfect Fields.
7.4 The Hilbert Nullstellensatz.
7.5 Height and Depth of Prime Ideals.
7.6 Implicitization of RationalParametrizations.
7.7 Invertibility of Polynomial Maps.
Notes.
8 Decomposition, Radical, and Zeroes of Ideals.
8.1 Preliminaries.
8.2 The Radical of a Zero
Dimensional Ideal.
8.3 The Number of Zeroes of an Ideal.
8.4 Primary Ideals.
8.5 Primary Decomposition in Noetherian Rings.
8.6 Primary Decomposition of Zero
Dimensional Ideals.
8.7 Radical and Decomposition in Higher Dimensions.
8.8 Computing Real Zeroes of Polynomial Systems.
Notes.
9 Linear Algebra in Residue Class Rings.
9.1 Gröbner Bases and Reduced Terms.
9.2 Computing in Finitely Generated Algebras.
9.3 Dimensions and the Hilbert Function.
Notes.
10 Variations on Gröbner Bases.
10.1 Gröbner Bases over PID's and Euclidean Domains.
10.2 Homogeneous Gröbner Bases.
10.3 Homogenization.
10.4 Gröbner Bases for Polynomial Modules.
10.5 Systems of Linear Equations.
10.6 Standard Bases and the Tangent Cone.
10.7 Symmetric Functions.
Notes.
Appendix: Outlook on Advanced and Related Topics.
Complexity of Gröbner Basis Constructions.
Term Orders and Universal Gröbner Bases.
Comprehensive Gröbner Bases.
Gröbner Bases and Automatic Theorem Proving.
Characteristic Sets and Wu
Ritt Reduction.
Term Rewriting.
Standard Bases in Power Series Rings.
Non
Commutative Gröbner Bases.
Gröbner Bases and Differential Algebra.
Selected Bibliography.
Conference Proceedings.
Books and Monographs.
Articles.
List of Symbols.
0 Basics.- 0.1 Natural Numbers and Integers.- 0.2 Maps.- 0.3 Mathematical Algorithms.- Notes.- 1 Commutative Rings with Unity.- 1.1 Why Abstract Algebra?.- 1.2 Groups.- 1.3 Rings.- 1.4 Subrings and Homomorphisms.- 1.5 Ideals and Residue Class Rings.- 1.6 The Homomorphism Theorem.- 1.7 Gcd's, Lcm's, and Principal Ideal Domains.- 1.8 Maximal and Prime Ideals.- 1.9 Prime Rings and Characteristic.- 1.10 Adjunction, Products, and Quotient Rings.- Notes.- 2 Polynomial Rings.- 2.1 Definitions.- 2.2 Euclidean Domains.- 2.3 Unique Factorization Domains.- 2.4 The Gaussian Lemma.- 2.5 Polynomial Gcd's.- 2.6 Squarefree Decomposition of Polynomials.- 2.7 Factorization of Polynomials.- 2.8 The Chinese Remainder Theorem.- Notes.- 3 Vector Spaces and Modules.- 3.1 Vector Spaces.- 3.2 Independent Sets and Dimension.- 3.3 Modules.- Notes.- 4 Orders and Abstract Reduction Relations.- 4.1 The Axiom of Choice and Some Consequences in Algebra.- 4.2 Relations.- 4.3 Foundedness Properties.- 4.4 Some Special Orders.- 4.5 Reduction Relations.- 4.6 Computing in Algebraic Structures.- Notes.- 5 Gröbner Bases.- 5.1 Term Orders and Polynomial Reductions.- 5.2 Gröbner Bases-Existence and Uniqueness.- 5.3 Gröbner Bases-Construction.- 5.4 Standard Representations.- 5.5 Improved Gröbner Basis Algorithms.- 5.6 The Extended Gröbner Basis Algorithm.- Notes.- 6 First Applications of Gröbner Bases.- 6.1 Computation of Syzygies.- 6.2 Basic Algorithms in Ideal Theory.- 6.3 Dimension of Ideals.- 6.4 Uniform Word Problems.- Notes.- 7 Field Extensions and the Hilbert Nullstellensatz.- 7.1 Field Extensions.- 7.2 The Algebraic Closure of a Field.- 7.3 Separable Polynomials and Perfect Fields.- 7.4 The Hilbert Nullstellensatz.- 7.5 Height and Depth of Prime Ideals.- 7.6 Implicitization of RationalParametrizations.- 7.7 Invertibility of Polynomial Maps.- Notes.- 8 Decomposition, Radical, and Zeroes of Ideals.- 8.1 Preliminaries.- 8.2 The Radical of a Zero-Dimensional Ideal.- 8.3 The Number of Zeroes of an Ideal.- 8.4 Primary Ideals.- 8.5 Primary Decomposition in Noetherian Rings.- 8.6 Primary Decomposition of Zero-Dimensional Ideals.- 8.7 Radical and Decomposition in Higher Dimensions.- 8.8 Computing Real Zeroes of Polynomial Systems.- Notes.- 9 Linear Algebra in Residue Class Rings.- 9.1 Gröbner Bases and Reduced Terms.- 9.2 Computing in Finitely Generated Algebras.- 9.3 Dimensions and the Hilbert Function.- Notes.- 10 Variations on Gröbner Bases.- 10.1 Gröbner Bases over PID's and Euclidean Domains.- 10.2 Homogeneous Gröbner Bases.- 10.3 Homogenization.- 10.4 Gröbner Bases for Polynomial Modules.- 10.5 Systems of Linear Equations.- 10.6 Standard Bases and the Tangent Cone.- 10.7 Symmetric Functions.- Notes.- Appendix: Outlook on Advanced and Related Topics.- Complexity of Gröbner Basis Constructions.- Term Orders and Universal Gröbner Bases.- Comprehensive Gröbner Bases.- Gröbner Bases and Automatic Theorem Proving.- Characteristic Sets and Wu-Ritt Reduction.- Term Rewriting.- Standard Bases in Power Series Rings.- Non-Commutative Gröbner Bases.- Gröbner Bases and Differential Algebra.- Selected Bibliography.- Conference Proceedings.- Books and Monographs.- Articles.- List of Symbols.