Definition 14.1 (s-th ramification group). Let vL be a normalised valuation in OL. For s∈ℝ≥−1, the s-th ramification group is

Gs(L∕K)={σ∈Gal⁡(K)|vL(σ(x)−x)≥s+1 ∀⁡x∈OL}.