Polynomials in Several Variables - MA574

Location Term Level Credits (ECTS) Current Convenor 2017-18 2018-19
Canterbury Autumn
View Timetable
6 15 (7.5) DR RJ Shank


MA322 Proofs and Nmbers, MA323 Matrices and Probability or MA326 Matrices and Computing and MA553 Linear Algebra. Recommended but not essential MA324 Exploring Mathematics and MA554 Groups, Rings and Fields.





Systems of polynomial equations arise naturally in many applications of mathematics. This module focuses on methods for solving such systems and understanding the solutions sets. The key abstract concept is an ideal in a commutative ring and the fundamental computational concept is Buchberger's algorithm for computing a Groebner basis for an ideal in a polynomial ring. The syllabus includes: multivariate polynomials, Hilbert's Basis Theorem, monomial orders, division algorithms, Groebner bases, Hilbert's Nullstellensatz, elimination theory, linear equations over systems of polynomials, and syzygies.


This module appears in:

Contact hours

Up to 48 hours of lectures, examples classes and supervised problem-solving workshops.

Method of assessment

70% Examination, 30% Coursework

Preliminary reading

Cox, Little, O’Shea Ideals, Varieties and Algorithms, Springer, Undergraduate Texts in Mathematics, 1991

See the library reading list for this module (Canterbury)

See the library reading list for this module (Medway)

Learning outcomes

The intended subject specific learning outcomes
On successful completion of this module students will:
a) have acquired a broad understanding of modern methods of calculation with polynomials in several variables;
b) have increased their knowledge of the meaning and practice of solving systems of polynomial equations;
c) have learned how to formulate and prove statements about systems of polynomials in precise abstract algebraic language.

The intended generic learning outcomes
Students who successfully complete this module will have improved their ability to:
a) communicate their own ideas clearly and coherently in writing;
b) formulate and prove abstract mathematical statements, and appreciate their connections with concrete calculation.

University of Kent makes every effort to ensure that module information is accurate for the relevant academic session and to provide educational services as described. However, courses, services and other matters may be subject to change. Please read our full disclaimer.