Ramification occurring in arithmetic or algebraic extensions when higher ramification groups are nontrivial in residue characteristic p dividing the ramification index, producing more complicated, higher-order behaviour than the tame case.

Principle

Wild ramification is governed by nontrivial p‑power inertia and nonvanishing higher ramification filtrations (upper or lower numbering); it typically produces fractional breaks, nontrivial conductors, and failures of simple tame formulas.

Demonstration

In characteristic p, an Artin–Schreier-type degree-p extension of local fields can be wildly ramified: inertia contains a p‑group and higher ramification subgroups do not vanish, so the different and conductor exhibit p‑adic growth beyond tame predictions.

Misapplication

Labeling any large ramification index as 'wild' without checking residue characteristic relations is incorrect; an index prime to the residue characteristic is tame even if numerically large.

Consequence

Wild ramification forces more delicate invariants (Swan conductors, higher different contributions), complicates the behaviour of Galois modules and cohomology, and can obstruct naïve descent or deformation arguments valid in the tame case.

Reversal

Tame ramification is the opposite: inertia is of order prime to the residue characteristic, higher ramification groups vanish, and local behaviour is controlled by low-degree, well-understood invariants.

Boundary

Applies only when the residue characteristic p divides the ramification index or when inseparability induces nontrivial p-power inertia; it excludes tame situations and topological branching phenomena without arithmetic residue data.

Semantic Tension

The phrase 'wild' is evocative and contrasts with 'tame', but mathematically it refers to precise group-theoretic and valuation-theoretic conditions; confusion arises when field characteristic, inseparability, and wild inertia are not separated carefully.

Synthesis

Wild ramification describes algebraic or arithmetic ramification controlled by p‑power inertia and nontrivial higher ramification subgroups, producing fractional breaks, enhanced conductors, and phenomena absent in tame, prime-to-p situations.