This course is intended particularly for computer-science students who wish to broaden their knowledge in algebra, and for mathematics students who are interested in adding to their knowledge a number of interesting examples and applications in algebra.
Only a basic knowledge of linear algebra will be assumed. More advanced material will be defined and reviewed, so that the course can also be considered an introduction to algebraic structures for those who have not previously studied them. The purpose of the course is to study selected fundamental theorems in algebra by investigating key examples of different algebraic structures that make the theory transparent. We investigate commutative rings, fields, vector spaces and groups. We shall look at some applications, particularly in coding theory, that utilize basic algebraic properties of some structures and help obtain a deeper understanding of these properties. We shall also use examples developed in one area of algebra and apply them to another ? for instance, applications of properties of finite fields in vector spaces and in finite group theory, and applications of field theory to number theory.
- Commutative rings: Introduction. Ideals, quotient rings.
- Principal ideal domains, polynomial rings.
- Unique factorization domains, Euclidean domains.
- The Chinese Remainder Theorem and its applications to public key codes.
- Field theory: Introduction. Extensions of fields.
- Cyclotomic fields ( 1) n Q , Galois groups, examples.
- Structure theory of finite fields.
- Detailed examples and properties of finite fields.
- Vector spaces: Vector spaces over fields of characteristic 2.
- Error-correcting codes and finite fields of characteristic 2.
- Group theory: Introduction, subgroups, quotient groups. Sylow's theorems.
- The discrete logarithm problem and its applications to public key codes.
- Matrix groups and their structure, conjugacy classes in matrix groups, detailed examples.
- Finite Simple groups and the classification theorem ? survey.
- Conjugacy classes in the symmetric group.
- If time permits: The field of the p-adic numbers