General Prerequisites:
B2.1 Introduction to Representation Theory is recommended. A thorough knowledge of linear algebra and familiarity with group actions, quotient rings and vector spaces, isomorphism theorems and inner product spaces will be assumed. Some familiarity with the Jordan-Hölder theorem and the general ideas of representation theory will be an advantage.
Course Term: Michaelmas
Course Lecture Information: 16 lectures.
Course Weight: 1
Course Level: M
Assessment Type: Written Examination
Course Overview:
Lie Algebras are mathematical objects which, besides being of interest in their own right, elucidate problems in several areas in mathematics. The classification of the finite-dimensional complex Lie algebras is a beautiful piece of applied linear algebra. The aims of this course are to introduce Lie algebras, develop some of the techniques for studying them, and describe parts of the classification mentioned above, especially the parts concerning root systems and Dynkin diagrams.
Learning Outcomes:
By the end of the course, students will be able to
Identify the basic classes of Lie algebras - nilpotent, solvable and simisimple, and be able to give examples of them.
Use basic notions such as ideals and representations to analyse the structure of Lie algebras, and employ the Cartan criteria in problems.
Use the theory developed in the course to calculate the Dynkin Diagram of (semi)simple Lie algebra in examples.
Course Synopsis:
Definition of Lie algebras, small-dimensional examples, some classical groups and their Lie algebras (treated informally). Ideals, subalgebras, homomorphisms, modules.

Nilpotent algebras, Engel's theorem; soluble algebras, Lie's theorem. Semisimple algebras and Killing form, Cartan's criteria for solubility and semisimplicity, Weyl's theorem on complete reducibility of representations of semisimple Lie algebras.

The root space decomposition of a Lie algebra; root systems, Cartan matrices and Dynkin diagrams. Discussion of classification of irreducible root systems and semisimple Lie algebras.