Ideals, Varieties, and Algorithms

An Introduction to Computational Algebraic Geometry and Commutative Algebra

  • David A. Cox
  • John Little
  • Donal O’Shea

Part of the Undergraduate Texts in Mathematics book series (UTM)

Table of contents

  1. Front Matter
    Pages i-xvi
  2. David A. Cox, John Little, Donal O’Shea
    Pages 1-47
  3. David A. Cox, John Little, Donal O’Shea
    Pages 49-119
  4. David A. Cox, John Little, Donal O’Shea
    Pages 121-174
  5. David A. Cox, John Little, Donal O’Shea
    Pages 175-232
  6. David A. Cox, John Little, Donal O’Shea
    Pages 233-289
  7. David A. Cox, John Little, Donal O’Shea
    Pages 291-343
  8. David A. Cox, John Little, Donal O’Shea
    Pages 345-383
  9. David A. Cox, John Little, Donal O’Shea
    Pages 385-467
  10. David A. Cox, John Little, Donal O’Shea
    Pages 469-538
  11. David A. Cox, John Little, Donal O’Shea
    Pages 539-591
  12. David A. Cox, John Little, Donal O’Shea
    Pages E1-E11
  13. Back Matter
    Pages 593-646

About this book


This text covers topics in algebraic geometry and commutative algebra with a strong perspective toward practical and computational aspects. The first four chapters form the core of the book. A comprehensive chart in the preface illustrates a variety of ways to proceed with the material once these chapters are covered. In addition to the fundamentals of algebraic geometry—the elimination theorem, the extension theorem, the closure theorem, and the Nullstellensatz—this new edition incorporates several substantial changes, all of which are listed in the Preface. The largest revision incorporates a new chapter (ten), which presents some of the essentials of progress made over the last decades in computing Gröbner bases. The book also includes current computer algebra material in Appendix C and updated independent projects (Appendix D).

The book may serve as a first or second course in undergraduate abstract algebra and, with some supplementation perhaps, for beginning graduate level courses in algebraic geometry or computational algebra. Prerequisites for the reader include linear algebra and a proof-oriented course. It is assumed that the reader has access to a computer algebra system. Appendix C describes features of Maple™, Mathematica®, and Sage, as well as other systems that are most relevant to the text. Pseudocode is used in the text; Appendix B carefully describes the pseudocode used.

From the reviews of previous editions:

“…The book gives an introduction to Buchberger’s algorithm with applications to syzygies, Hilbert polynomials, primary decompositions. There is an introduction to classical algebraic geometry with applications to the ideal membership problem, solving polynomial equations, and elimination theory. …The book is well-written. …The reviewer is sure that it will be an excellent guide to introduce further undergraduates in the algorithmic aspect of commutative algebra and algebraic geometry.”

—Peter Schenzel, zbMATH, 2007

“I consider the book to be wonderful. ... The exposition is very clear, there are many helpful pictures, and there are a great many instructive exercises, some quite challenging ... offers the heart and soul of modern commutative and algebraic geometry.”

—The American Mathematical Monthly


CoCoA algebraic geometry Groebner basis Hilbert basis theorem Macaulay2 algebraic geometry Maple algebraic geometry Mathematica algebraic geometry Nullstellensatz Sage algebraic geometry algebraic geometry textbook adoption algorithms algebraic geometry computational algebraic geometry invariant theory projective geometry

Authors and affiliations

  • David A. Cox
    • 1
  • John Little
    • 2
  • Donal O’Shea
    • 3
  1. 1.Department of MathematicsAmherst CollegeAmherstUSA
  2. 2.Department of Mathematics and Computer ScienceCollege of the Holy CrossWorcesterUSA
  3. 3.President’s OfficeNew College of FloridaSarasotaUSA

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Mathematics and Statistics
  • Print ISBN 978-3-319-16720-6
  • Online ISBN 978-3-319-16721-3
  • Series Print ISSN 0172-6056
  • Series Online ISSN 2197-5604
  • Buy this book on publisher's site