
Alla Horska Mountain Lanscape (c. 1970)
Time: Tuesdays 11:30–12:50 & 13:30–14:50, Thursdays 11:30–12:50
Venue: KSE Dragon Capital building, Shpaka 3, room 4.05
Office hours: hursdays, 10-11:30, Math department coworking space (floor 5.5)
Commutative algebra is the study of commutative rings and modules over them. It serves as a foundation of algebraic geometry and algebraic number theory. Typical examples of commutative rings are the ring of integers Z and the ring of polynomials $k[x_1, …, x_n]$ in $n$ variables over a field $k$ (we will encounter lots of more interesting examples). Geometrically, the latter can be thought of as the ring of polynomial functions on the $n$-dimensional space. Such a geometric perspective is very useful, enabling us to use our visual intuition when working with the polynomial ring. It turns out that one can view any commutative ring geometrically: to a commutative ring $R$ we can associate a topological space ${\rm Spec}(R)$, called its spectrum, whose geometry reflects the algebraic properties of $R$. Thus (unlike elsewhere in algebra, e.g. for noncommutative rings), in commutative algebra one can mix and match the precision and formality of algebra with geometric intuition.
The goal of the course is to introduce the basic concepts of commutative algebra, such as modules, local rings, valuation rings, Noetherian rings, completion, the Krull dimension etc., emphasizing the geometric meaning behind them when possible. Amore detailed list of topics can be found below.
Syllabus: [PDF]
Problem sets: 1 (due Oct 21), 2 (due Oct 28 Nov 4), 3 (due Nov 11)
| Oct 14 | Introduction and first notions |
| Oct 16 | Localization and ${\rm Spec}(A)$ |
| Oct 21 | The topology on ${\rm Spec}(A)$ |
| Oct 23 | Modules, $\otimes$ |
| Oct 28 | Modules over PIDs |
| Oct 30 | Noetherian rings |
| Nov 4 | Integral elements and integral homomorphisms |
| Nov 6 | Noether normalization and Nullstellensatz |
| Nov 11 | Valuation rings |
| Nov 13 | Finiteness of integral closure |
| Nov 18 | Serre's criterion for normality |
| Nov 20 | |
| Nov 25 | |
| Nov 27 | |
| Dec 2 | |
| Dec 4 | |
| Dec 9 | |
| Dec 11 | |
| Dec 16 | |
| Dec 18 | Exam |
Contact: pachinger@kse.org.ua