 Weil-group topology

The Weil-group topology makes the inertia group open with its profinite topology and makes the quotient by inertia discrete. It is generally finer than the topology induced from the ambient Galois group.