Course details
Semester
 Spring 2023
 Monday, January 23rd to Friday, March 31st
Hours
 Live lecture hours
 20
 Recorded lecture hours
 0
 Total advised study hours
 80
Timetable
 Mondays
 13:05  13:55 (UK)
 Wednesdays
 13:05  13:55 (UK)
Description
Topics in abstract algebra will be approached from the perspective of what can be explicitly computed, with an emphasis on applications to algebraic geometry. Although the emphasis is on computation, no use of a computer (and certainly no programming) will be required, although you can choose to make use of them. We use the term "computational" in the more formal sense to mean those things that can be explicitly calculated via algorithms, in contrast to much of your experience in pure mathematics to date, which has avoided the issue of direct computation.
Prerequisites
Syllabus
Introduces the concept of a commutative ring and its ideals, focusing on polynomial rings k[x_1,...,x_n]. Introduces the key questions this course addresses:
 Are all ideals I \subset k[x_1,...,x_n] in a polynomial ring finitely generated?
 If I \subset k[x_1,...,x_n] is known to be finitely generated, can we write down a set of generators?
 Is this set of generators unique?
 Is there any systematic way of determining whether a polynomial f is in I?
(2) Introduction to Algebraic Geometry.
Introduces affine space A^n, and the varieties in affine space V(I) generated by systems of polynomial equations (and ideals). Introduces the "inverse" process of moving from an affine variety to an ideal I(V), and asks the key question of when I and V truly are inverses of each other.
(3) Polynomials in One Variable.
Considers polynomials in one variable and the corresponding ideals. The Division Algorithm is proven and used to show that all ideals I are principal. The Euclidian Algorithm is proven and used to derive a generator for I, and hence uniqueness.
(4) Polynomials in k[x_1,...,x_n].
Considers the more difficult case of polynomials in more than one variable. Introduces the concept of total order, and the standard monomial orders: lexicographic order, graded lexicographic order, and reverse graded lexicographic order. States the Division Algorithm and considers its many weaknesses in comparison to the case of polynomials in k[x].
(5) Hilbert Basis Theorem.
Introduces monomial ideals, proves Dickson’s Lemma concerning finite generation, and as a corollary proves the Hilbert Basis Theorem.
(6) Gröbner Bases and Buchberger’s Algorithm.
Defines the concept of a Gröbner basis for an ideal I in a polynomial ring, motivated as a way of addressing the failures of the Division Algorithm in k[x_1,...,x_n]. Defines the Spolynomial, and uses this to state and prove Buchberger’s Criterion, which tells us when a set of generators of I is a Gröbner basis. States and proves Buchberger’s Algorithm, allowing us to turn any set of generators into a Gröbner basis. Concludes by noticing that Gröbner bases are not unique.
(7) Minimal and Reduced Gröbner Bases.
Introduces the notion of minimal and reduces Gröbner bases. Proves the main result, that the reduced Gröbnerbasis of I is unique, thus resolving all of the shortcomings of the Division Algorithm in many variables.
(8) Elimination Theory.
Now we start applying the concept of reduced Gröbner basis. We begin with Elimination Theory, which lets us eliminate a variable from a system of polynomial equations. Through induction, this allows us to find the solutions to systems of polynomial equations that we otherwise wouldn’t be able to solve. Here the key definition is the lth elimination ideal, which we use to state and prove the Elimination Theorem, and the Extension Theorem.
(9) Projecting Affine Varieties.
We relate Elimination Theory to the geometric idea of projecting affine varieties. We state the Closure Theorem, however the proof cannot be given until later in the course. Also mentions the concept of Zariski Topology.
(10) The Nullstellensatz.
Introduces the definition of a radical ideal \sqrt{I}, telling us exactly when V and I are inverses of each other.
(11) Radical Algorithms.
The proof of the Nullstellensatz motivates an algorithm for determining when f \in I. We also state and prove a method for computing the radical \sqrt{I} of I.
(12) Prime Ideals and Irreducible Varieties.
Introduces the geometric definition of an irreducible affine variety, and the algebraic concept of a prime ideal. Proves how the two ideas are connected. Proves various results on prime ideals, including some sufficient conditions for when a variety is irreducible. Introduces the definition of a maximal ideal, and considers the geometric interpretation.
(13) Zariski Closure.
Uses the Nullstellensatz to proves the Closure Theorem. Explores the geometric interpretation of closure, and the algebraic concept of the colon ideal I:J. States and proves a theorem relating the two: V(I:J) = \overline{V(I)\V(J)}. Describes and proves an algorithm for computing this in many cases, allowing us to write a variety as a union of irreducible components.
Lecturer

Dr Alexander Kasprzyk
 University
 University of Nottingham
Bibliography
Follow the link for a book to take you to the relevant Google Book Search page
You may be able to preview the book there and see links to places where you can buy the book. There is also link marked 'Find this book in a library'  this sometimes works well, but not always  you will need to enter your location, but it will be saved after you do that for the first time.
 An Introduction to Gröbner Bases (William W. Adams and Philippe Loustaunau, book)
 An Invitation to Algebraic Geometry (Karen E. Smith, Lauri Kahanpää, Pekka Kekäläinen and William Traves, book)
 Computational Algebraic Geometry (Hal Schenck, book)
 Computational Commutative Algebra 1 (Martin Kreuzer and Lorenzo Robbiano, book)
 Computations in Algebraic Geometry with Macaulay 2 (David Eisenbud, Daniel R. Grayson, Mike Stillman and Bernd Sturmfels, book)
 Computing in Algebraic Geometry (Wolfram Decker and Christoph Lossen, book)
 Ideals, Varieties, and Algorithms (David Cox, John Little and DONAL OSHEA, book)
 Introduction To Commutative Algebra (Michael F Atiyah, Michael Atiyah, I G Macdonald and Emeritus Professor Queen Mary and Westfield College I G MacDonald, book)
Assessment
The assessment for this course will be released on Monday 1st May 2023 at 00:00 and is due in before Monday 15th May 2023 at 11:00.
Assessment for all MAGIC courses is via takehome exam which will be made available at the release date (the start of the exam period).
You will need to upload a PDF file with your own attempted solutions by the due date (the end of the exam period).
If you have kept uptodate with the course, the expectation is it should take at most 3 hours’ work to attain the pass mark, which is 50%.
Please note that you are not registered for assessment on this course.
Files
Only current consortium members and subscribers have access to these files.
Please log in to view course materials.
Lectures
Please log in to view lecture recordings.