One of the successive subgroups in the ramification filtration of the Galois group of a finite Galois extension of local fields, indexed either by integers (lower numbering) or by real numbers via the upper numbering; these subgroups measure increasingly refined levels of wild ramification beyond inertia and tame quotients.

Principle

The ramification filtration stratifies the Galois group by how its elements act on higher unit groups and on successive quotients of the valuation ring: higher ramification groups consist of automorphisms that act trivially modulo increasingly high powers of the maximal ideal, and their jumps quantify the depth of wild ramification.

Demonstration

For a totally ramified cyclic p-extension of a local field one computes nontrivial higher ramification groups G^i for i≥1, and the upper-numbering breaks are related to the conductor and Swan conductor of associated representations; explicit local computations show different behavior for tame versus wild cases and yield the Herbrand function relating upper and lower numberings.

Misapplication

Confusing upper and lower numberings or using the filtration without applying the Herbrand function when passing between them; ignoring wild ramification by treating only inertia and the tame quotient misses essential contributions to conductors and local Galois representations.

Consequence

Higher ramification groups control invariants such as the discriminant, Artin and Swan conductors, and the structure of local Galois representations; their behavior influences global phenomena via local contributions to conductors and to the arithmetic of extensions.

Reversal

The complementary notion is the tame quotient and inertia subgroup: taking the quotient by higher ramification groups yields the tame part of inertia, which captures only tamely ramified behavior and discards wild higher-order phenomena.

Boundary

Defined for finite Galois extensions of local fields (complete discretely valued fields with perfect residue field) and for their decomposition groups inside global Galois groups; the concept does not directly apply to non-Galois extensions without passage to a Galois closure nor to groups acting on objects without a valuation-theoretic filtration.

Semantic Tension

Tension exists between the lower-numbering (integral index) concrete description and the upper-numbering (real-indexed, stable under quotients) preferred in many theorems; this produces subtlety when comparing ramification data across extensions and in representation-theoretic formulas.

Synthesis

Higher ramification groups form a filtration of the Galois group by depth of action on successive unit quotients; they quantify wild ramification via jumps and numberings, determine conductors and discriminants, and thus translate refined local ramification behavior into arithmetic invariants.