Module Details

The information contained in this module specification was correct at the time of publication but may be subject to change, either during the session because of unforeseen circumstances, or following review of the module at the end of the session. Queries about the module should be directed to the member of staff with responsibility for the module.
Title Galois Theory
Code MATH449
Coordinator Dr N Koseki
Mathematical Sciences
Naoki.Koseki@liverpool.ac.uk
Year CATS Level Semester CATS Value
Session 2024-25 Level 7 FHEQ Second Semester 15

Aims

To introduce the theory of polynomial equations of one variable: Galois Theory.

To introduce criteria when a polynomial equation can be solved in radicals, when a geometric construction can be performed by a ruler and a compass.


Learning Outcomes

(LO1) Know why and how a polynomial equation of degree up to 4 can be solved in radicals.

(LO2) Understand why a solution in radicals is impossible in general for the degree greater than or equal to 5.

(LO3) Understand when a polynomial can be solved in radicals.

(LO4) Know when a geometric construction can be done by a ruler and compass.

(LO5) Know what is the Galois group of a polynomial which permits the above results.


Syllabus

 

Commutative rings, ideals, fields, the polynomial ring.

The ring of integers, its ideals, fields with p elements. Fields, the ring of polynomials, its ideals.Characteristic of a field. The splitting field of a polynomial. The algebraic closure. Finite fields. Finite algebraic extensions. Galois Theory.

Algebraic extensions. Degree of extension as dimension of a vector space. Separable, non-separable extensions. Normal extensions. Galois extensions. Galois group of a field extension and a polynomial. Main Galois Theorem. Normal subgroups and extensions. Classification of finite fields. Fundamental Theorem of Algebra. Examples on calculations of Galois groups. Solubility in radicals.

Radicals, cyclic groups and extensions. Roots of unity. Kummer theory. Solubility in radicals. Soluble groups. Simplicity of an alternating group of degree at least 5. The field of rational functions. The general polynomial equation. Symmetric functions. Solubility in radicals of an equ ation of degree less than 4. Non-solubility in radicals of a general equation of degree greater than 4. Geometric constructions by a ruler and compass.

Criterion of constructability by a ruler and compass. The duplication of a cube. The trisection of an angle. Regular polygons. Gauss Theorem.


Recommended Texts

Reading lists are managed at readinglists.liverpool.ac.uk. Click here to access the reading lists for this module.

Pre-requisites before taking this module (other modules and/or general educational/academic requirements):

MATH102 CALCULUS II; MATH101 Calculus I; MATH103 Introduction to Linear Algebra; MATH101 Calculus I; MATH103 Introduction to Linear Algebra; MATH102 CALCULUS II; MATH247 Commutative Algebra; MATH244 Linear Algebra and Geometry; MATH244 Linear Algebra and Geometry; MATH247 Commutative Algebra 

Co-requisite modules:

 

Modules for which this module is a pre-requisite:

 

Programme(s) (including Year of Study) to which this module is available on a required basis:

 

Programme(s) (including Year of Study) to which this module is available on an optional basis:

 

Assessment

EXAM Duration Timing
(Semester)
% of
final
mark
Resit/resubmission
opportunity
Penalty for late
submission
Notes
final assessment  90    50       
CONTINUOUS Duration Timing
(Semester)
% of
final
mark
Resit/resubmission
opportunity
Penalty for late
submission
Notes
Class test 1  60    25       
Class test 2  60    25