Definitions, Examples: $\mathbb{Z}, \mathbb{R}, \mathbb{C}, \mathbb{Q}, \mathbb{R}_{>0}, \mathbb{Q}_{>0}, Sym(X), S_n$
Cycle notation
Homomorphisms and isomorphisms and examples.
Examples of Classification Theorems

Symmetric groups: cycle notation, multiplication and cycle decompositions
Direct Products of groups
Group Actions: Definition, Examples: trivial action, $\mathbb{Z}$ acting on $\mathbb{R}, \mathbb{Z}^2$ acting on $\mathbb{R},$ left multiplication and conjugation.
Permutation representations.
Faithful actions and Examples
Subgroups: Defintion and definition of subgroup generated by a set $\langle S\rangle$.
Cyclic Groups and orders of elements.

Cosets of a subgroup, partitions of the group by cosets.
Normal Subgroups
Kernels
Quotient Groups
First Isomorphism Theorem

Second, Third and Fourth Isomorphism Theorems

Transpositions, generators for the symmetric group.
Even and odd permutations, definitions
Alternating Group: Definition, examples in small cases.
Group Actions: Definitions of Kernel, Stabiliser, Orbit
Orbit Stabiliser Theorem

Conjugacy Classes and centralisers. Examples in Abelian groups and symmetric groups
The class equation. Proof that $p$-groups have non-trivial centre.
Normal subgroups are unions of conjugacy classes.
Conjugacy classes in $S_5$, complete computation.
Conjugacy classes in $A_5$ and proof that $A_5$ is simple.

$G$ acts on $G/H$ by left multiplication.
Kernel is the normal core of $H$: the largest normal subgroup contained in $H$.
$G$ acting on subgroups by conjugation.
Automorphism groups, Inner automorphisms and outer automorphism groups
Fixed point properties for $p$-groups
Proof of Cauchy's theorem
Statement of Sylow's theorem

Definition of normaliser of a subgroup
Proof of Sylow's theorem using fixed point properties of $p$-groups.
Soluble groups, examples ($p$-groups)
Applications of Sylow's theorems: Groups of order 30, $pq$, $p^2q^2$, 105 are soluble.

Definition of Direct products, commutators, commutator subgroups and abelianisation.
Proof that $G$ is normal in $G\times H$ and $G\times H/G \cong H$.
Proof that the abelianisation is the largest abelian quotient of $G$.
Discussion of the fundamental theorem of finitely generated abelian groups.

Definition and examples of rings
Examples: $\mathbb{Z}$, Matrix rings, Polynomial rings, Group rings

Properties of ideals, intersections, generation, prime ideals, maximal ideals
Prime ideal iff $R/I$ is an integral domain
Maximal ideal iff $R/I$ is a field

Definition of Euclidean domain (ED)
Examples: Fields, $\mathbb{Z}, F[x]$
$\mathbb{Z}[x]$ is not an ED
Definition of Principal ideal domain (PID)
ED implies PID
Definition of divisors and uniques of greatest common divisor using ideals

Definition of prime and irreducible elements
Definition of unique factorisation domains
$r$ is prime iff $r$ is irreducible in a UFD
Principal ideal domains are unique factorisation domains

Definition of quadratic integer rings
Proof units are elements with norm 1
Definition of polynomial rings in many variables
$F[x]$ is a unique factorisation domain
Definition of localisations

Irreducible polynomials over $R[x]$ are irreducible over $F[x]$
A polynomial over $F[x]$ is irreducible over $R[x]$ if the gcd of the coefficients is 1
Proof that the polynomial ring over a unique factorisation domain is a unique factorisation domain

Definition of module
Examples: $\mathbb{Z}$ modules are abelian groups, modules over a field are vector spaces
Definition of a submodule
Definition of homomorphism and sets of homomorphisms
Proof the set of module homomorphisms is a module

Definition of Quotient module
Statement of Isomorphism theorems for modules
Finite sums of submodules
Generating sets for modules
Direct products
Definition of Free module and proof of existence

Proof of Universal Property
$F(A)\cong M$ for any free module on $A$
Definition of Direct Sum and Direct product
Proof they are different
Discussion of Zorn's Lemma
Proof that every ring has a maximal ideal

3 Equivalent definitions of Noetherian ring
PIDs are Noetherian
Definition of rank of a module
Rank decreases for submodules of free modules over integral domains
Statement of that any sub module of a free module over a PID is free and has a basis that can be extended
Proof of fundamental theorem of finitely generated modules over PIDs

Proof of submodules of free modules over a PID are free.
Discussion of how this fails in general
Discussion of extending scalars
Definition of Tensor product
Several examples
Discussion of universal property of $S\otimes_R M$ as an $S$-module

Proof of universal property of tensor product of $S\otimes_R M$ as an $S$-module
Examples of this universal property
Proof that the tensor product is generated by basic tensors of generators
Definition of bilinear maps
Proof of the universal property that any bilinear map from $M\times N$ gives a unique homomorphism from $M\otimes_R N$

Proof that tensor product is associative and commutative
Proof that tensor product is distributive over direct sum
Proof that tensor products of free modules are free
Definition of the tensor product of two maps

Definition of exact sequences
Rephrasing of injective and surjective in terms of exact sequences
Definition and examples of short exact sequences
Statement of the 5-lemma

Proof of the 5-lemma for two short exact sequences
Definition of projective modules
Definition and discussion of ${\rm{Hom}}_R(D, -)$ for an $R$-module $D$
Definition and discussion of $D\otimes_R-$ for an $R$-module $D$
Examples to show that they do not take exact sequences to exact sequences
Statement that ${\rm{Hom}}_R(D, -)$ preserves exactness on the left
Statement that $D\otimes_R-$ preserves exactness on the left

Proof that ${\rm{Hom}}_R(D, -)$ is left exact and $D\otimes_R-$ is right exact
Equivalence of definitions of projective modules