Part IV  Dedekind domains  9 Dedekind domains  10 Dedekind domains and extensions  10 1 Completions  11 Decomposition groups