Endliche Algebra/Separabel/Ableitung/Textabschnitt
Es sei ein Körper. Ein Polynom heißt separabel, wenn es über keinem Erweiterungskörper mehrfache Nullstellen besitzt.
![{\displaystyle {}P\in K[X]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4692e3ffcbd66e900f8975113ff3f32f1cabc21a)
Eine endliche Körpererweiterung heißt separabel, wenn für jedes Element das Minimalpolynom separabel ist.
Es sei ein Körper und mit einem normierten Polynom . Dann sind folgende Aussagen äquivalent.
![{\displaystyle {}A=K[X]/(F)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7eff2a8c4db2b85431d4a81a0bb7cc362f1e822a)
![{\displaystyle {}F\in K[X]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/50220ae49fd4c5cc329970fc12b301c78efa889b)
- und erzeugen das Einheitsideal.
- Zu jeder Körpererweiterung besitzt in nur einfache Nullstellen.
- Zu jeder Körpererweiterung ist reduziert.
- ist ein Produkt von Körpern und die Körpererweiterungen sind separabel.
![{\displaystyle {}A\otimes _{K}L=L[X]/(F)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/526711be665aeda0c4f57b37b5047f3b5cc2bc54)
Ein Körper heißt vollkommen, wenn jedes irreduzible Polynom separabel ist.