El subgrupo del grupo de descomposición en un primo elegido formado por los automorfismos que actúan trivialmente sobre el cuerpo residual; equivalentemente el núcleo de la proyección del grupo de descomposición sobre Gal(k̄/k), que mide la ramificación en ese primo.

Principio

Aislar exactamente los automorfismos que no cambian las clases residuales para que el cociente por inercia refleje la acción sobre el cuerpo residual; la estructura y las filtraciones de la inercia capturan los fenómenos de ramificación tame y salvaje.

Demostración

Para un primo no ramificado el grupo de inercia es trivial; en un campo local p‑ádico la inercia contiene la inercia tame (pro‑cociente primo a p) y la inercia salvaje (un subgrupo pro‑p), y sus cocientes sucesivos describen la profundidad de la ramificación.

Aplicación incorrecta

Suponer que la inercia es normal en todo el grupo de Galois global en lugar de sólo en el grupo de descomposición, o ignorar la distinción entre inercia tame y salvaje al analizar representaciones en primos que dividen la característica residual.

Consecuencia

Conocer la acción de la inercia sobre objetos (campos, puntos de torsión, representaciones) determina el comportamiento de la ramificación, la monodromía local y si los factores locales en representaciones son no ramificados; las filtraciones de inercia intervienen en el cálculo de conductores y en la teoría local del campo de clases.

Inversión

Centrarse en el cociente por la inercia (la imagen del grupo de descomposición en el cuerpo residual) que privilegia los automorfismos del cuerpo residual frente a los fenómenos de ramificación; invierte así el énfasis de la ramificación a la acción residual.

Límite

Definido con respecto a un primo elegido en una extensión y como subgrupo del grupo de descomposición; sus propiedades dependen de la característica residual (la inercia salvaje es pro‑p) y es trivial exactamente en primos no ramificados, por lo que excluye el comportamiento no ramificado.

Tensión semántica

Hay tensión entre el papel de la inercia como detector local de ramificación y las manipulaciones globales de subgrupos (conjugación bajo Galois), y entre ver la inercia concretamente como automorfismos o abstractamente mediante filtraciones de ramificación o la restricción de representaciones de Galois.

Síntesis

El grupo de inercia es el estabilizador de las clases residuales dentro del grupo de descomposición; aislando los automorfismos que fijan el cuerpo residual organiza la ramificación en componentes tame y salvaje cuya acción sobre objetos aritméticos determina la monodromía local y los conductores.