# M1: Groups and Group Actions - Material for the year 2019-2020

## Primary tabs

8 lectures each in HT and TT

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.

Students will get familiarised with the axiomatic approach to group theory and learn how to argue formally and abstractly. They will be ale to apply the First Isomorphism Theorem and work with many examples of groups and group actions from various parts of mathematics. With the help of the Counting Lemma (also called Burnside's Lemma) they will be able to solve a variety of otherwise intractable counting problems and thus learn to appreciate the power of groups.

See the examinable syllabus.

*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.

1) M. A. Armstrong *Groups and Symmetry* (Springer, 1997)

1) R. B. J. T. Allenby, *Rings, Fields and Groups* (Second revised edition, Elsevier, 1991)

2) Peter J. Cameron, *Introduction to Algebra* (Second edition, Oxford University Press, 2007).

3) John B. Fraleigh, *A First Course in Abstract Algebra* (Seventh edition, Pearson, 2013).

4) W. Keith Nicholson, *Introduction to Abstract Algebra* (Fourth edition, John Wiley, 2012).

5) Joseph J. Rotman, *A First Course in Abstract Algebra* (Third edition, Pearson, 2005).

6) Joseph Gallian, *Contemporary Abstract Algebra* (8th international edition, Brooks/Cole, 2012).

7) Nathan Carter, *Visual Group Theory* (MAA Problem Book Series, 2009).