Verzweigung an einem Prime in einer Erweiterung lokaler oder globaler Körper, bei der der Verzweigungsindex prim zur Restcharakteristik p ist; dies führt zu einfacherem Inertieverhalten und zum Fehlen nichttrivialer höherer p‑Potenz‑Verzweigungsphänomene.

Prinzip

Ist der Verzweigungsindex prim zu p, so ist die Inertialgruppe zyklisch mit Ordnung prim zu p und höhere Verzweigungsgruppen jenseits der ersten sind trivial; Leiterexponenten und die Galois‑Modulstruktur werden durch zahme Formeln bestimmt.

Demonstration

Eine Erweiterung, die durch Adjunktion einer n‑ten Wurzel mit n prim zu p entsteht (oder eine Erweiterung mit Verzweigungsindex, der nicht durch p teilbar ist), zeigt zyklische Inertialen, triviale Filtration höherer Verzweigungsgruppen und Leiter, die nach zahmen Regeln berechenbar sind.

Fehlanwendung

Zahme Verzweigung anzunehmen, sobald eine geringe Verzweigung vorliegt, oder zahme Formeln anzuwenden, wenn p den Verzweigungsindex teilt, was zu fehlerhaften Berechnungen von Leitern und lokaler Galois‑Wirkung führt.

Konsequenz

Zahme Verzweigung vereinfacht die Analyse: Leiter, Diskriminanten und lokale Galois‑Darstellungen sind handhabbarer, und viele klassische lokal‑zu‑global Argumente und Deformationsverfahren gelten ohne zusätzliche p‑Torsionskomplikationen.

Umkehrung

Ist der Verzweigungsindex durch die Restcharakteristik teilbar, so ist die Situation wild und höhere Verzweigungsphänomene sowie p‑Torsion müssen berücksichtigt werden.

Abgrenzung

Gilt nur, wenn der Verzweigungsindex prim zur Restcharakteristik ist; schließt wild verzweigte Prime oder inseparable Aspekte in Charakteristik p aus, wo zahme Beschreibungen versagen.

Semantische Spannung

Entsteht im Gegensatz zur wilden Verzweigung: Methoden und Formeln, die im zahmen Fall funktionieren, brechen im wilden Fall zusammen und führen zu unterschiedlichen technischen Regimen in lokaler Arithmetik und Darstellungstheorie.

Synthese

Zahme Verzweigung bezeichnet das Regime, in dem ein Index prim zu p zyklische Inertialen, triviale Filtration höherer Verzweigungsgruppen und vorhersehbare Leiter ergibt; es bietet einen handhabbaren Rahmen der lokalen Arithmetik, der klassische Berechnungen und Hebungsargumente unterstützt.