CECM | CAG | Department of Mathematics | SFU | MITACS | IRMACS | PIMS

About me Research Publications Students Teaching Talks Links

Grobner Bases and Algebraic Geometry, Summer 2006


  • Varieties, ideals, and algorithms.
  • Monomial orderings and the division algorithm.
  • Dickson's lemma and the Hilbert basis theorem.
  • Groebner bases and Buchberger's algorithm.
  • Solving systems of polynomial equations using Groebner bases.
  • Implicitization.
  • Resultants.
  • Hilbert's Nullstellensatz and radical ideals.
  • Irreducible varieties, prime ideals, and prime(ary) decomposition of ideals.
  • Quotient rings.
  • Computing in quotient rings and proving theorems in geometry.


Ideals, Varieties and Algorithms by Cox, Little, O'Shea


We will use Maple extensively for calculations and programming in this course. The university has a site license. Maple is installed on the PCs and MACs in the assignment lab, the CECM lab, university open labs and the library. Maple is available from the microcomputer store for about $180.

The following Maple worksheets are from the course.

Groebner9.mws Maple 9 (classic) worksheet from Wednesday June 7 demo Maple 10 (standard) worksheet from Wednesday June 7
resultant.mws worksheet from June 16
ressolve.mws worksheet from June 21
radical.mws worksheet from June 28
ideal intersection worksheet (Intersect.mws) from June 30
ideal quotient worksheet (IdQuo.mws) from July 5
prime decomposition examples (PrimeDecomp.mws) from July 14
scattering 3 (6) points in the square from August 2
minimal polynomials worksheet from August 2

Assignment 1

Assignment 2

Assignment 3

Assignment 4

Assignment 5

Assignment 6


Course Project


p. (778) 782-4279 · f. (778) 782-4947 · Shrum Science K 10501 · Department of Mathematics · 8888 University Drive · Burnaby · BC · V5A 1S6 · Canada