Content: This module is a continuation of MA106 Linear Algebra. In that course we studied conditions under which a matrix is similar to a diagonal matrix, but we did not develop methods for testing whether two general matrices are similar. Our first aim is to fill this gap for matrices over . Not all matrices are similar to a diagonal matrix, but they are all similar to one in Jordan canonical form; that is, to a matrix which is almost diagonal, but may have some entries equal to 1 on the superdiagonal.
We next study quadratic forms. A quadratic form is a homogeneous quadratic expression in several variables. Quadratic forms occur in geometry as the equation of a quadratic cone, or as the leading term of the equation of a plane conic or a quadric hypersurface. By a change of coordinates, we can always write in the diagonal form . . For a quadratic form over , the number of positive or negative diagonal coefficients is an invariant of the quadratic form which is very important in applications.
Finally, we study matrices over the integers , and investigate what happens when we restrict methods of linear algebra, such as elementary row and column operations, to operations over . This leads, perhaps unexpectedly, to a complete classification of finitely generated abelian groups.
Aims: To develop further and to continue the study of linear algebra, which was begun in Year 1.
To point out and briefly discuss applications of the techniques developed to other branches of mathematics, physics, etc.
Objectives: By the end of the module students should be familiar with: the theory and computation of the the Jordan canonical form of matrices and linear maps; bilinear forms, quadratic forms, and choosing canonical bases for these; the theory and computation of the Smith normal form for matrices over the integers and its application to finitely generated abelian groups.
P M Cohn, Algebra, Vol. 1, Wiley
I N Herstein, Topics in Algebra, Wiley.
Neither is essential, but are a good idea if you are intending to study further algebra modules.