Coronavirus information for applicants and offer-holders

We understand that prospective students and offer-holders may have concerns about the ongoing coronavirus outbreak. The University is following the advice from Universities UK, Public Health England and the Foreign and Commonwealth Office.

Read our latest coronavirus information

MMath Mathematics and Statistics / Course details

Year of entry: 2021

Course unit details:
Galois Theory

Unit code MATH42122
Credit rating 15
Unit level Level 4
Teaching period(s) Semester 2
Offered by Department of Mathematics
Available as a free choice unit? No


Galois theory is one of the most spectacular mathematical theories. It establishes a beautiful connection between the theory of polynomial equations and group theory. In fact, many fundamental notions of group theory originate in the work of Galois. For example, why are some groups called 'soluble'? Because they correspond to the equations which can be solved! (Solving here means there is a formula involving algebraic operations and extracting roots of various degrees that expresses the roots of the polynomial in terms of the coefficients.) Galois theory explains why we can solve quadratic, cubic and quartic equations, but no formulae exist for equations of degree greater than 4. In modern language, Galois theory deals with 'field extensions', and the central topic is the 'Galois correspondence' between extensions and groups. Galois theory is a role model for mathematical theories dealing with 'solubility' of a wide range of problems.


Unit title Unit code Requirement type Description
Algebraic Structures 2 MATH20212 Pre-Requisite Compulsory
Algebraic Structures 1 MATH20201 Pre-Requisite Compulsory
Group Theory MATH32001 Pre-Requisite Compulsory

Students must have taken MATH20212 and (MATH32001 OR MATH42001).

It is recommended that Year 3 students consult with the lecturer before signing up for this course.

Students are not permitted to take, for credit, MATH42122 in an undergraduate programme and then MATH62122 in a postgraduate programme at the University of Manchester, as the courses are identical.


To introduce students to a sophisticated mathematical subject where elements of different branches of mathematics are brought together for the purpose of solving an important classical problem.

Learning outcomes

On successful completion of this course unit students will be able to: 

  • Provide the definition of splitting field, finite field extension, algebraic extension, Kummer extension, normal extension, Galois group of an extension or polynomial, solvable group and solvability of a polynomial by radicals.
  • Prove basic properties of finite fields such as: their cardinality is a power of a prime, the multiplicative group is cyclic, the Frobenius map is an automorphism.
  • State the fundamental theorem of Galois theory and the Galois correspondence; as well as, Galois theorem on the radical-solvability of polynomial.
  • State, prove, and use Eisensteins criterion for the irreducibility of polynomials over the rationals; as well as, compute the degree and find a basis of the splitting field of a polynomial of low degree.
  • Identify basic group-theoretic properties (such as its order or being cyclic, abelian, and/or solvable) of the Galois group of a finite field extension of low degree.
  • Compute the Galois group of a field extension of low degree; as well as, compute the fixed fields of it subgroups and identify those that are normal extensions.
  • Explain how one can use Galois theory to prove that polynomials of degree less than five are solvable by radicals, while the general quintic equation is not.


  1. Introduction and preliminaries: fields, vector spaces, homogeneous linear systems, polynomials. [4 lectures]
  2. Field extensions, algebraic elements, Kronecker's construction. [4]
  3. Splitting fields. [1]
  4. Group characters, automorphisms and fixed fields. [2]
  5. Normal extensions, separable polynomials, formal derivatives. [3]
  6. The Fundamental Theorem of Galois Theory, Galois groups of polynomials, examples of the Galois correspondence. [3]
  7. Finite fields, roots of unity. [2]
  8. Kummer extensions, [2]
  9. Solutions of polynomial equations by radicals and an insolvable quintic. [2]

Assessment methods

Method Weight
Other 20%
Written exam 80%
  • Mid-semester coursework: one in-class test, weighting 20%
  • End of semester examination: weighting 80%

Feedback methods

Feedback tutorials will provide an opportunity for students' work to be discussed and provide feedback on their understanding.  Coursework or in-class tests (where applicable) also provide an opportunity for students to receive feedback.  Students can also get feedback on their understanding directly from the lecturer, for example during the lecturer's office hour.

Recommended reading

The lecture notes are self-contained, however the following texts are recommended:

E. Artin, Galois Theory, Dover Publications 1998. This provides a concise account of the material covered in the course.
I Stewart, Galois Theory, 2nd edition, Chapman and Hall. Contains the key ideas, together with some historical comment, illustrations, and exercises with selected solutions. 
J B Fraleigh, A First Course in Abstract Algebra, 5th edition, Addison-Wesley 1967. Chapters 8 and 9 of this book are directly relevant to the course, and contain a number of exercises with solutions. Earlier chapters may be useful for revision of pre-requisite material.

Study hours

Scheduled activity hours
Lectures 24
Tutorials 12
Independent study hours
Independent study 114

Teaching staff

Staff member Role
Donald Robertson Unit coordinator

Additional notes

This course unit detail provides the framework for delivery in 20/21 and may be subject to change due to any additional Covid-19 impact.  

Please see Blackboard / course unit related emails for any further updates.

Return to course details