Problem sets will be due in class on Thursday.
Week
|
Date
|
Topics
|
Reading
|
Homework
|
1
|
Tue 15 Jan
|
No class!
|
|
|
Thu 17 Jan
|
History of algebraic integers.
|
ANT pp. 5-13
|
2
|
Tue 22 Jan
|
Algebra review: ideal operations, prime and maximal ideals, finitely
generated modules. Integral elements and equivalent conditions.
Integral closure.
|
ANT 1 pp. 14-27
|
|
Thu 24 Jan
|
Integrally closed rings. UFD's are integrally closed. Transitivity
of integral closure.
|
ANT 2 pp. 25-30
|
3
|
Tue 29 Jan
|
Free modules. Basis. Norm and trace.
|
ANT pp. 31-34
|
Problem Set #1
|
Thu 31 Jan
|
More norm and trace. Discriminant.
|
ANT pp. 31-34
|
4
|
Tue 05 Feb
|
More discriminant. Discriminant and bases. Discriminant and separability.
|
ANT pp. 33-34
|
|
Thu 07 Feb
|
Finite generation of the integral closure. Integral basis.
Computing the ring of integers.
|
ANT pp. 35-36
|
5
|
Tue 12 Feb
|
More on computing the ring of integers. Stickelberger's theorem. Taussky-Todd's theorem.
|
ANT pp. 37-43
|
Problem Set #2
|
Thu 14 Feb
|
Dedekind domains. Integral closures of Dedekind domains. Unique factorization into prime ideals.
|
ANT pp. 45-51
|
6
|
Tue 19 Feb
|
Unique factorization into prime ideals. Invertible ideals.
Fractional ideals. Class group.
|
ANT pp. 45-51
|
|
Thu 21 Feb
|
Generation by two elements. Factorization of primes.
|
ANT pp. 51-58
|
7
|
Tue 26 Feb
|
Ramification index and inertial degree.
|
ANT pp. 57-59
|
|
Thu 28 Feb
|
Ramified primes and the discriminant.
|
ANT pp. 59-61
|
8
|
Tue 05 Mar
|
Explicit methods for factorization of primes.
|
ANT pp. 61-64
|
|
Thu 07 Mar
|
Geometry of numbers. Minkowski bound. Computing class groups.
|
ANT pp. 69-80
|
9
|
Tue 12 Mar
|
Spring Break!
|
Thu 14 Mar
|
Spring Break!
|
10
|
Tue 19 Mar
|
Spring Break!
|
Thu 21 Mar
|
Spring Break!
|
11
|
Tue 26 Mar
|
Finiteness of class group.
|
ANT pp. 79-80
|
Midterm
|
Thu 28 Mar
|
More computations of class groups.
|
ANT pp.
|
12
|
Tue 02 Apr
|
Dirichlet Unit Theorem. Fundamental units. Beginnings of proof.
Logarithmic embedding. Roots of unity. Finite generation of unit group.
|
ANT pp. 84-86
|
|
Thu 04 Apr
|
Bounds on fundamental unit in real quadratic fields. Verifying a
fundamental unit.
|
ANT pp.
|
13
|
Tue 09 Apr
|
Artin's bound on fundamental unit in real cubic fields.
|
ANT pp. 91-92
|
|
Thu 11 Apr
|
Eisenstein criterion for computing the ring of integers.
Midterm exam!
|
ANT pp.
|
14
|
Tue 16 Apr
|
Using fundamental unit in real cubic field to prove nontriviality of
class group elements.
|
|
|
Thu 18 Apr
|
Topological proof of unit theorem.
|
|
15
|
Tue 23 Apr
|
Topological proof of unit theorem, continued.
|
Conrad's Notes
|
|
Thu 25 Apr
|
Topological proof of unit theorem, end.
|
|
16
|
Mon 29 Apr
|
Reading week: Diophantine problems.
|
|
|
Wed 01 May
|
Pythagorean triples. Fermat's Last Theorem for regular primes. Farewell!
|
ANT pp. 100-103
|
|
Wed 08 May
|
Final exam!
|
|
Final exam
|