Course - Rings and Modules HT24


Rings are algebraic structures where the objects behave like the integers: you can add elements ($a + b$), subtract elements ($a - b$) and multiply elements ($ab$), but multiplicative inverses don’t have to exist (e.g. for the integers, $1/2 \notin \mathbb Z$). But unlike the integers, multiplication doesn’t have to be commutative. In this way, they generalise fields.
Modules are like vector spaces where instead of having a field of scalars, you have a ring of scalars. This ends up making them more complicated than vector spaces, e.g. it is not true that any linearly independent set can be extended to a basis.
The course ends with a big theorem called the “structure theorem for finitely generated modules over a Euclidean domain”, which provides a canonical form for lots of modules.

”$\mathbb F[t]$-modules are just $\mathbb F$-vector spaces equipped with an endomorphism”!

Notes

Problem Sheets




Related posts