Skip to main content

MA249 Content

Content: This is an introductory abstract algebra module. As the title suggests, the two main objects of study are groups and rings. You already know that a group is a set with one binary operation. Examples include groups of permutations and groups of non-singular matrices. Rings are sets with two binary operations, addition and multiplication. The most notable example is the set of integers with addition and multiplication, but you will also be familiar already with rings of polynomials. We will develop the theories of groups and rings.

Some of the results proved in MA242 Algebra I: Advanced Linear Algebra for abelian groups are true for groups in general. These include Lagrange's Theorem, which says that the order of a subgroup of a finite group divides the order of the group. We defined quotient groups  G/H for abelian groups in Algebra I, but for general groups these can only be defined for certain special types of subgroups H of G, known as normal subgroups. We can then prove the isomorphism theorems for groups in general. An analogous situation occurs in rings. For certain substructures I of rings R, known as ideals, we can define the quotient ring  R/I , and again we get corresponding isomorphism theorems.

Other results to be discussed include the Orbit-Stabiliser Theorem for groups acting as permutations of finite sets, the Chinese Remainder Theorem, and Gauss' theorem on unique factorisation in polynomial rings.

Aims: To study abstract algebraic structures, their examples and applications.

Objectives: By the end of the module the student should know several fundamental results about groups and rings as well as be able to manipulate with them.

Books:

Complete lecture notes for the module will be available from the General Office soon after the beginning of the spring term, and will appear on the module resources page towards the end of term.

One possible book is

Niels Lauritzen, Concrete Abstract Algebra, Cambridge University Press.