Die Untergruppe der Zerlegungsgruppe an einer gewählten Stelle, bestehend aus Automorphismen, die auf dem Restkörper trivial wirken; äquivalent die Kernabbildung der Projektion von der Zerlegungsgruppe auf Gal(k̄/k), sie misst die Verzweigung an dieser Stelle.

Prinzip

Genau diejenigen Automorphismen isolieren, die Restklassen unverändert lassen, sodass der Quotient nach der Inertie die Wirkung auf den Restkörper widerspiegelt; Struktur und Filter der Inertie erfassen tame und wilde Verzweigungsphänomene.

Demonstration

Für ein unverzweigtes Primideal ist die Inertiegruppe trivial; in einem p‑adischen Lokalfeld enthält die Inertie die tame Inertie (pro‑zu‑p′) und die wilde Inertie (eine pro‑p‑Untergruppe), deren sukzessive Quotienten die Verzweigungstiefe beschreiben.

Fehlanwendung

Zu glauben, die Inertie sei normal in der gesamten globalen Galois‑Gruppe statt nur in der Zerlegungsgruppe, oder die Unterscheidung zwischen tame und wilder Inertie bei der Analyse von Darstellungen an Stellen mit gleicher Restcharakteristik zu ignorieren.

Konsequenz

Kenntnis der Inertiewirkung auf Objekten (Felder, Torsionspunkte, Darstellungen) bestimmt Verzweigungsverhalten, lokale Monodromie und ob lokale Faktoren in Darstellungen unverzweigt sind; Inertie‑Filter fließen in Leiterrechnungen und die lokale Klassenfeldtheorie ein.

Umkehrung

Fokussiert man stattdessen auf den Quotienten nach der Inertie (das Bild der Zerlegungsgruppe auf den Restkörper), so werden Restkörperautomorphismen gegenüber Verzweigungsphänomenen privilegiert; dies kehrt die Betonung von Verzweigung zu Residualwirkung um.

Abgrenzung

Definiert bezüglich einer gewählten Stelle in einer Erweiterung und als Untergruppe der Zerlegungsgruppe; ihre Eigenschaften hängen von der Restcharakteristik ab (wilde Inertie ist pro‑p) und sie ist genau an unverzweigten Stellen trivial, schließt also das unverzweigte Verhalten aus.

Semantische Spannung

Spannung zwischen der Rolle der Inertie als lokalem Verzweigungsdetektor und globalen Untergruppenmanipulationen (Konjugation durch Galois) sowie zwischen der konkreten Sicht der Inertie als Automorphismen und der abstrakten Sicht über Verzweigungsfiltrationen oder Einschränkung von Darstellungen.

Synthese

Die Inertiegruppe ist der Stabilisator der Restklassen innerhalb der Zerlegungsgruppe; durch das Isolieren der Automorphismen, die den Restkörper fixieren, ordnet sie die Verzweigung in tame und wilde Anteile, deren Wirkung auf arithmetische Objekte lokale Monodromie und Leiter bestimmt.