Endliche Körpererweiterungen/Separable Polynome/Verschiedene Charakterisierungen/Aufgabe

Es sei ${}K$ ein Körper und sei  ${}F\in K[X]$  ein Polynom vom Grad ${}n$. Zeige, dass die folgenden Aussagen äquivalent sind:

1. ${}F$ und die (formale) Ableitung ${}F'$ sind teilerfremd.
2. ${}F$ und die (formale) Ableitung ${}F'$ erzeugen das Einheitsideal.
3. ${}F$ besitzt in keinem Erweiterungskörper  ${}K\subseteq L$  mehrfache Nullstellen.
4. Es gibt einen Erweiterungskörper  ${}K\subseteq L$  derart, dass ${}F$ als Polynom in ${}L[X]$ in ${}n$ verschiedene Linearfaktoren zerfällt.

Eine Lösung erstellen