MATH3962 Rings, Fields and Galois Theory (Advanced)
This page contains information on the Senior advanced Unit of Study MATH3962 Rings, Fields and Galois Theory (Advanced).
- Taught in Semester 1.
- Credit point value: 6.
- Classes per week: Three lectures and one tutorial.
- Lecturer(s): James Parkinson .
Please refer to the Senior Mathematics and Statistics Handbook for all questions relating to Senior Mathematics and Statistics. In particular, see the MATH3962 handbook entry for further information relating to MATH3962.
You may also view the description of MATH3962 in the central units of study database.
Students have the right to appeal any academic decision made by the School or Faculty. For further information, see the Science Faculty web site.
MATH3962 Information in 2018
Class and consultation times
- Lectures will be held on Mondays, Wednesdays and Thursdays at 14:00 in Carslaw 375.
- My consultation time is Wednesday 1-2pm in Carslaw 614.
This unit of study investigates the modern mathematical theory that was originally developed for the purpose of studying polynomial equations. In a nutshell, the philosophy is that it should be possible to completely factorise any polynomial into a product of linear factors by working over a "large enough" field (such as the field of all complex numbers). Viewed like this, the problem of solving polynomial equations leads naturally to the problem of understanding extensions of fields. This in turn leads into the area of mathematics known as Galois theory.
The basic theoretical tool needed for this program is the concept of a ring, which generalises the concept of a field. The course begins with examples of rings, and associated concepts such as subrings, ring homomorphisms, ideals and quotient rings. These tools are then applied to study quotient rings of polynomial rings. The final part of the course deals with the basics of Galois theory, which gives a way of understanding field extensions.
Along the way we will see some beautiful gems of mathematics, including Fermat's Theorem on primes expressible as a sum of two squares, solutions to the ancient greek problems of trisecting the angle, squaring the circle, and doubling the cube, and the crown of the course: Galois' proof that there is no analogue of the "quadratic formula" for the general quintic equation.
Here is a week-by-week plan of the topics that we will cover. However things might change, and the lectures are the definitive guide for the content of this course.
- Week 1
- Introduction and overview, the ring of integers, definition of rings and fields
- Week 2
- Subrings, polynomial rings, homomorphisms, ideals, and the First Isomorphism Theorem
- Week 3
- The Correspondence Theorem, integral domains, field of fractions of an integral domain
- Week 4
- Principal ideal domains, Euclidean domains, greatest common divisors, prime and irreducible elements
- Week 5
- The Unique Factorisation Theorem, unique factorisation domains, case study: Gaussian integers.
- Week 6
- Unique factorisation in polynomial rings, irreducibility in polynomial rings
- Week 7
- Irreducibility in polynomial rings continued, Kronecker's algorithm, ring and field extensions
- Week 8
- Field extensions continued, minimal polynomials, degree of a field extension, constructible numbers
- Week 9
- Solution to constructibility problems, constructible polygons, splitting fields, separability
- Week 10
- Finite fields, Galois groups, statement of the Galois correspondence
- Week 11
- The order of the Galois group, proof of the Galois correspondence
- Week 12
- Solving polynomial equations using radicals, insolubility of the general quintic
- Week 13
- Revision and tying off loose ends
The learning outcomes for this unit of study are as follows.
- be familiar with the basics of abstract ring and field theory;
- be familiar with the concepts of integral domains, principal ideal domains, Euclidean domains, and unique factorisation domains, and understand the relationships between these concepts;
- understand the concept of irreducibility in integral domains;
- be proficient at applying various irreducibility tests;
- be proficient at applying the Euclidean Algorithm in various contexts;
- have a solid working knowledge of the basic examples of rings and fields including the integers, Gaussian integers, polynomial rings, the rational numbers, and finite fields;
- be able to work with field extensions, including computing the degree of an extension and the minimal polynomial of a simple extension;
- understand the solutions to the three ancient greek geometric problems;
- know and be able to apply the basic concepts and definitions from Galois Theory;
- know the basic properties of the Galois group of a field extension;
- be able to compute Galois groups in simple examples;
- be able to construct proofs, including sophisticated proofs using a variety of concepts covered in the unit;
- be proficient in dealing in abstract concepts with an emphasis on the clear explanation of such concepts to others;
- be able to apply the theory and methods introduced in the unit to specific examples, both those encountered in lectures and tutorials, and to related examples.
- Assignment 1 was due Thursday of week 6 (19th April). The questions are available here and here are the solutions.
- Assignment 2 is due Thursday of week 12 (31st May). The questions are available here
- To help you study, here is a copy of LAST YEAR'S Assignment 1, and the solutions. Here is a copy of LAST YEAR'S Assignment 2, with solutions.
Your mark for MATH3962 will be calculated as follows.
- Two assignments, worth
The assignments will give practice in investigating
examples and constructing proofs, and feedback should help with your
mathematical writing skills and exam preparation. The assignments are due (via turnitin) by midnight on the following dates:
- Assignment 1 due on Thursday 19th April (Week 6)
- Assignment 2 due on Thursday 31st May (Week 12)
- Tutorial participation, worth 10%. The tutorials will require your active participation: mathematics is not a spectator sport. We will be working through the questions together. The tutorials are an integral part to the course, since the lectures are pretty dense and theory based. So it is absolutely essential that you attend. You will be awarded one mark per tutorial, up to a maximum of 10 marks, provided that you ACTIVELY participate in the tutorial.
The tutorial sheets will be posted below. We won't get through all the questions in the tutorial. It is expected that you spend at least 3 or 4 hours of your own time each week finishing off as many of the questions as you can. This is key to success in this challenging course.
- Final exam, 2 hours long and worth 70%, during examination period. No notes, books, or calculators are allowed (no questions will require calculators).
- High Distinction (HD), 85-100
- Complete or close to complete mastery of the material
- Distinction (D), 75-84:
- Excellence, but substantially less than complete mastery
- Credit (CR), 65-74:
- A creditable performance that goes beyond routine knowledge and understanding, but less than excellence
- Pass (P), 50-64:
- At least routine knowledge and understanding over a spectrum of topics and important ideas and concepts in the course.
The content of the unit is defined by the lectures rather than by a set text. Even though there is no reference book for the course, students might find the following lecture notes from previous years helpful:
- [RH] Rings and Fields and an Introduction to Galois Theory, by Robert Howlett,
- [AN] Rings, Fields and Galois Theory, by Adrian Nelson.
It is always a good idea to consult other sources for extra problems and alternative explanations. Most online mathematical encyclopedias contain material relevant to this unit. Be aware that conventions and notation may differ slightly from those in the lectures. The following books could be used to provide further practice if you like:
- Abstract Algebra, D. Dummit and R. Foote (this is an excellent reference, also for group theory)
- Galois theory, E. Artin
- A survey of modern algebra, Garrett Birkhoff and Saunders Mac Lane
- Modern algebra: an Introduction, John R. Durbin
- A first course in abstract algebra, John B. Fraleigh
- Abstract algebra, I. N. Herstein
- [IS] Galois theory, I. N. Stewart
The following lecture notes are close approximations to what was covered in lectures. Some proofs and/or details that were skipped in lectures might be contained in these notes (otherwise they are exercises). The links will become active as the semester progresses.
- Lecture 1
- Lecture 2
- Lecture 3
- Lecture 4
- Lecture 5
- Lecture 6
- Lecture 7
- Lecture 8
- Lecture 9
- Lecture 10
- Lecture 11
- Lecture 12
- Lecture 13
- Lecture 14
- Lecture 15 and some optional supplementary material on the quaternions and Lagrange's 4 Square Theorem (for interest only).
- Lecture 16
- Lecture 17
- Lecture 18
- Lecture 19
- Lecture 20
- Lecture 21
- Lecture 22
- Lecture 23
- Lecture 24
- Lecture 25
- Lecture 26
- Lecture 27
- Lecture 28
- Lecture 29
- Lecture 30
- Lecture 31
- Lecture 32
- Lecture 33
- Lecture 34
- Lecture 35
- Lecture 36
Tutorials will be held in Weeks 2-13 (so the first tutorial is in week 2). Please attend the tutorial on your timetable.
Tutorials questions and solutions can be downloaded below. All question sheets are active links, however the links to the solutions will only become active as the semester progresses:
- Tutorial Week 2 and solutions
- Tutorial Week 3 and solutions
- Tutorial Week 4 and solutions
- Tutorial Week 5 and solutions
- Tutorial Week 6 and solutions
- Tutorial Week 7 and solutions
- Tutorial Week 8 and solutions
- Tutorial Week 9 and solutions
- Tutorial Week 10 and solutions
- Tutorial Week 11 and solutions
- Tutorial Week 12 and solutions
- Tutorial Week 13 and solutions
The Math3962 end of semester exam will consist of five questions, each of which may be (and should be), attempted.
Here is a selection of past exams (the more recent papers are perhaps more relevant in terms of content):
Solutions will not be provided, however you can come and ask questions at the exam consultation during stuvac (the exact times of which will be released later).
Show timetable / Hide timetable.
Show timetable / Hide timetable.