Course Overview: Abstract algebra evolved in the twentieth century out of nineteenth century discoveries in algebra, number theory and geometry. It is a highly developed example of the power of generalisation and axiomatisation in mathematics. The group is an important first example of an abstract, algebraic structure and groups permeate much of mathematics particularly where there is an aspect of symmetry involved. Moving on from examples and the theory of groups, we will also see how groups act on sets (e.g. permutations on sets, matrix groups on vectors) and apply these results to several geometric examples and more widely.
Course Syllabus:
See the examinable syllabus.
Lecturer(s):
Prof. Ulrike Tillmann
Learning Outcomes: Students will appreciate the value of abstraction and meet many examples of groups and group actions from around mathematics. Beyond theoretic aspects of group theory students will also see the value of these methods in the generality of the approach and also to otherwise intractable counting problems.
Course Synopsis: HT (8 lectures)
Axioms for a group and for an Abelian group. Examples including geometric symmetry groups, matrix groups (\(GL_{n}\), \(SL_{n}\), \(O_{n}\), \(% SO_{n}\), \(U_{n}\)), cyclic groups. Products of groups.
Permutations of a finite set under composition. Cycles and cycle notation. Order. Transpositions; every permutation may be expressed as a product of transpositions. The parity of a permutation is well-defined via determinants. Conjugacy in permutation groups.
Subgroups; examples. Intersections. The subgroup generated by a subset of a group. A subgroup of a cyclic group is cyclic. Connection with hcf and lcm. Bezout's Lemma.
Recap on equivalence relations including congruence mod n and conjugacy in a group. Proof that equivalence classes partition a set. Cosets and Lagrange's Theorem; examples. The order of an element. Fermat's Little Theorem.
TT (8 Lectures)
Isomorphisms, examples. Groups of order 8 or less up to isomorphism (stated without proof). Homomorphisms of groups with motivating examples. Kernels. Images. Normal subgroups. Quotient groups; examples. First Isomorphism Theorem. Simple examples determining all homomorphisms between groups.
Group actions; examples. Definition of orbits and stabilizers. Transitivity. Orbits partition the set. Stabilizers are subgroups.
Orbit-stabilizer Theorem. Examples and applications including Cauchy's Theorem and to conjugacy classes.
Orbit-counting formula. Examples.
The representation \(G\rightarrow \mathrm{Sym}(S)\) associated with an action of \(G\) on \(S\). Cayley's Theorem. Symmetry groups of the tetrahedron and cube.
