Part IV
Dedekind domains

9 Dedekind domains
10 Dedekind domains and extensions
10.1 Completions
11 Decomposition groups