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 MA251 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 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 , 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:
Niels Lauritzen, Concrete Abstract Algebra, Cambridge University Press
M A Armstrong, Groups and Symmetry, Springer
John B Fraleigh, A First Course in Abstract Algebra, Pearson
Joseph Gallian, Contemporary Abstract Algebra, Chapman Hall
John M Howie, Fields and Galois Theory, Springer
Nicholas Jackson, A Course in Abstract Algebra, Oxford University Press (forthcoming, draft sections available on request)