Ramification in an extension of local or global fields at a prime where the ramification index is divisible by the residue characteristic p, producing nontrivial higher ramification groups and more complicated arithmetic and Galois-module structure than the tame case.

Principle

Wild ramification arises from p‑power inertia and the failure of linear (prime-to-p) control: higher ramification groups, nontrivial conductors, and p‑torsion phenomena govern the local extension and its Galois action.

Demonstration

An extension of Q_p obtained by adjoining a pth root or an extension in characteristic p with inseparable features exhibits ramification groups beyond the first ramification subgroup and conductor exponents that grow with wild inertia, complicating local Galois representations.

Misapplication

Treating every ramified prime as tame and applying tame‑ramification formulas (cyclic inertia, simple conductor computation) to wildly ramified situations, leading to incorrect conductor, discriminant, or representation data.

Consequence

Wild ramification forces more elaborate invariants (higher ramification filtration, Swan conductor), complicates local-to-global compatibility in Galois representations, and often obstructs naive lifting and deformation arguments.

Reversal

If the ramification index is prime to the residue characteristic, the ramification is tame: higher ramification groups beyond the first are trivial and many simplifications apply to inertia and conductor calculations.

Boundary

Applies to extensions where the residue characteristic divides the ramification index; excludes primes where the index is coprime to the residue characteristic and situations in which only unramified or tame ramification occurs.

Semantic Tension

Competes with tame ramification intuition: tame formulas fail in the wild case and phenomena such as p‑torsion in inertia create distinct arithmetic behavior requiring different techniques.

Synthesis

Wild Ramification denotes primes where p‑divisibility of the ramification index produces higher ramification groups, Swan conductors, and p‑torsion phenomena; it marks a qualitatively more intricate local arithmetic that demands refined invariants and representation-theoretic care.