Ein Polynom über einem Körper positiver Charakteristik, dessen formale Ableitung identisch null ist (oder allgemein dessen Wurzeln in einer algebraischen Schließung inseparabel sind), so dass Wurzeln mit Inseparabilität auftreten und das Polynom inseparable Körpererweiterungen erzeugt.

Prinzip

In Charakteristik p weist das Verschwinden der formalen Ableitung darauf hin, dass das Polynom eine Funktion von x^{p} ist (nach Koordinatenwechsel) oder rein inseparabel ist; Inseparabilität steht der klassischen Galoistheorie im Weg und erzeugt Erweiterungen ohne voneinander unterscheidbare Einbettungen.

Demonstration

Über einem Körper der Charakteristik p hat f(x) = x^{p} - a die Ableitung 0 und ist inseparabel, wenn a keine p‑te Potenz ist; allgemein erzeugt x^{p^e} - b rein inseparable Erweiterungen vom Exponent e.

Fehlanwendung

Anzunehmen, inseparable Polynome verhalten sich wie separable — zum Beispiel unterschiedliche Wurzeln zu zählen oder separable galoissche Argumente anzuwenden; inseparable Faktoren erfordern anderes Vorgehen in der Erweiterungstheorie und beim Aufbau von Zerfällungskörpern.

Konsequenz

Inseparable Polynome erzeugen Erweiterungen, die nicht durch verschiedene Einbettungen erzeugt werden, und zwingen zur Berücksichtigung der rein inseparablen Hülle; geometrisch führen sie zu nichtreduzierten Fasern und beeinflussen Étaleness‑ und Glattheitskriterien.

Umkehrung

Ein separables Polynom hat eine nichtverschwindende formale Ableitung und verschiedene Wurzeln in einer separablen Schließung; Separabilität stellt die klassische Galois‑Korrespondenz sowie reguläres Verzweigungsverhalten und wohlverhaltene Zerfällungskörper wieder her.

Abgrenzung

Inseparabilität tritt nur in positiver Charakteristik auf; in Charakteristik null ist jedes Polynom separabel. 'Rein inseparabel' betont, dass jede Wurzel p‑potenzielle Vielfachheit hat und dass der Grad der Erweiterung eine Potenz von p ist.

Semantische Spannung

Spannung besteht zwischen 'inseparabel' im Sinne verschwindender Ableitung und 'inseparabel' als Wurzelmultiplizität in einer konkreten Faktorisierung; außerdem zwischen 'inseparabel' und Verhalten unter Basiserweiterungen (inseparabel in Familien).

Synthese

Ein inseparables Polynom in Charakteristik p ist eines mit verschwindender Ableitung, dessen Wurzeln nicht durch verschiedene Einbettungen getrennt werden können: es erzeugt rein inseparable Erweiterungen und verändert die arithmetischen, galoisschen und geometrischen Eigenschaften gegenüber dem separablen Fall.