1
Setup
▶
1.1
The cyclotomic field \(K\)
1.2
The Teichmüller character
1.3
The additive character
2
The Gauss sum
▶
2.1
Gauss sums
2.2
Jacobi sums
3
The valuation function \(s\)
4
Ideal factorization of Gauss sums
▶
4.1
Factorization in \(\mathcal{O}_L\)
4.2
Setup for Stickelberger’s theorem
4.3
Descent and Stickelberger’s theorem
5
The Kronecker-Weber theorem
▶
5.1
Reduction to the prime degree case
5.2
The prime degree case
6
Auxiliary results
Dependency graph
SKW
Xavier Roblot
1
Setup
1.1
The cyclotomic field \(K\)
1.2
The Teichmüller character
1.3
The additive character
2
The Gauss sum
2.1
Gauss sums
2.2
Jacobi sums
3
The valuation function \(s\)
4
Ideal factorization of Gauss sums
4.1
Factorization in \(\mathcal{O}_L\)
4.2
Setup for Stickelberger’s theorem
4.3
Descent and Stickelberger’s theorem
5
The Kronecker-Weber theorem
5.1
Reduction to the prime degree case
5.2
The prime degree case
6
Auxiliary results