##  [Higher Ramification Group](/higher-ramification-group-0) 

 Definition

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

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

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

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

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

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

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

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

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.