ashmit@web:~/uni/group-theory$ cat module.md

Ashmit Rao

group theory

Thoughts to come.

syllabus

hilary

Axioms for a group and for an Abelian group. Examples including geometric symmetry groups, matrix groups (GLnGL_n, SLnSL_n, OnO_n, UnU_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 nn 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.

trinity

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 GSym(S)G \to \operatorname{Sym}(S) associated with an action of GG on SS. Cayley's Theorem. Symmetry groups of the tetrahedron and cube.