Perfekte Körper oder vollkommene Körper ist ein Begriff aus der Algebra, der in der Körpertheorie von Nutzen ist, weil die Galois-Theorie vollkommener Körper zahlreiche Komplikationen vermeidet, die bei allgemeineren Körpern auftreten können.
Definition
Ein Körper heißt vollkommen, wenn alle irreduziblen Polynome separabel sind, das heißt keine Mehrfachnullstellen in ihrem Zerfällungskörper haben.[1]
Beispiele
Ein Körper ist genau dann vollkommen, wenn er
- entweder Charakteristik 0 hat (insbesondere sind die bekannten Körper , und vollkommen.)
oder
- prime Charakteristik hat und der Frobenius-Homomorphismus ein Automorphismus ist. (Insbesondere sind alle endlichen Körper vollkommen.)[2]
Ein Beispiel eines nicht vollkommenen Körpers ist der Funktionenkörper für einen endlichen Körper .
Äquivalente Charakterisierungen
Ein Körper ist vollkommen, wenn er eine der folgenden äquivalenten Bedingungen erfüllt.
- Kein über irreduzibles Polynom hat mehrfache Nullstellen im Zerfällungskörper.
- Jede endliche Erweiterung von ist separabel.
- Jede algebraische Erweiterung von ist separabel.
- Der separable Abschluss von ist algebraisch abgeschlossen.
Weblinks
- Perfect Field (Encyclopedia of Mathematics)
- Perfect Field (MathWorld)
Einzelnachweise
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.