Le sous‑groupe du groupe de décomposition en un premier choisi constitué des automorphismes agissant trivialement sur le corps résiduel ; équivalemment le noyau de la projection du groupe de décomposition sur Gal(k̄/k), mesurant la ramification en ce premier.

Principe

Isoler précisément les automorphismes qui ne modifient pas les classes résiduelles afin que le quotient par l'inertie traduise l'action sur le corps résiduel ; la structure et les filtrations de l'inertie décrivent les phénomènes de ramification tame et sauvage.

Démonstration

Pour un premier non ramifié le groupe d'inertie est trivial ; dans un corps local p‑adique l'inertie contient l'inertie tame (pro‑première‑à‑p) et l'inertie sauvage (un pro‑p), et leurs quotients successifs renseignent sur la profondeur de ramification.

Mauvaise application

Supposer que l'inertie est normale dans le groupe de Galois global plutôt que seulement dans le groupe de décomposition, ou négliger la distinction entre inertie tame et sauvage en étudiant des représentations aux premiers divisant la caractéristique résiduelle.

Conséquence

La connaissance de l'action de l'inertie sur des objets (corps, points de torsion, représentations) détermine le comportement de ramification, la monodromie locale et si des facteurs locaux sont non ramifiés ; les filtrations d'inertie interviennent dans le calcul des conducteurs et la théorie locale du corps de classes.

Inversion

Se concentrer sur le quotient par l'inertie (l'image du groupe de décomposition sur le corps résiduel) privilégie les automorphismes du corps résiduel plutôt que les phénomènes de ramification ; on inverse ainsi l'accent de la ramification vers l'action résiduelle.

Limite

Défini par rapport à un premier choisi dans une extension et comme sous‑groupe du groupe de décomposition ; ses propriétés dépendent de la caractéristique résiduelle (l'inertie sauvage est un pro‑p) et il est trivial exactement aux premiers non ramifiés, excluant donc le comportement non ramifié.

Tension sémantique

Tension entre le rôle de détecteur local de ramification de l'inertie et les manipulations globales de sous‑groupes (conjugaison sous Galois), et entre l'inertie vue concrètement comme automorphismes et abstraitement via les filtrations de ramification ou la restriction de représentations de Galois.

Synthèse

Le groupe d'inertie est le stabilisateur des classes résiduelles à l'intérieur du groupe de décomposition ; en isolant les automorphismes qui fixent le corps résiduel il organise la ramification en composantes tame et sauvage dont l'action sur les objets arithmétiques dicte la monodromie locale et les conducteurs.