This module is designed for students in their third year and aims to introduce the basic concepts and techniques of Galois theory, building on earlier work at level 2. As such, it will provide an introduction to core concepts in rings, fields, polynomials and certain aspects of group theory.
Galois theory arose out of attempts to generalize to polynomials of higher degree the well-known formula for the roots of a quadratic polynomial. This turns out to be possible for cubic and quartic polynomials but impossible for polynomials of degree five or more. This impossibility result is one of the main applications of Galois theory. Further applications to be considered are ruler-and-compass constructions; for instance, we determine all natural numbers n for which the regular n-gon can be constructed.
Much of this beautiful and fascinating theory was discovered by the French mathematician and revolutionary Évariste Galois, shortly before he was killed in a duel in 1832, aged twenty. It has
considerably influenced the development of Algebra and is nowadays a basic tool also in Number Theory and (Algebraic) Geometry. For instance, it features prominently in the famous proof of Fermat's Last Theorem by Andrew Wiles in the 1990s.
The main theorem of Galois theory gives a correspondence between the intermediate fields of a finite extension L/K of fields on the one hand and the subgroups of the automorphism group G = Aut (L / K) on the other hand. In particular, this module will introduce the concepts of rings and fields including, for example, the notions of polynomial rings, ideals, quotient rings and homomorphisms, building on material from MATH2046 Algebra and Geometry. Some group theory is also assumed, such as normal subgroups, quotient groups, and familiarity with permutation groups. These topics are all covered in MATH2003 Group Theory, which is also a pre-requisite for this module.
On successful completion of the module the students should be able to:
- show familiarity with the concepts of ring and field, and their main algebraic properties;
- correctly use the terminology and underlying concepts of Galois theory in a problem-solving context;
- reproduce the proofs of its main theorems and apply the key ideas in similar arguments;
- calculate Galois groups in simple cases and to apply the group-theoretic information to deduce results about fields and polynomials.
One of the pre-requisites for MATH3078 and MATH6156
Pre-requisites: MATH2003 AND MATH2049