Vollkommener Körper

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 $K$ heißt vollkommen, wenn alle irreduziblen Polynome separabel sind, das heißt keine Mehrfachnullstellen in ihrem Zerfällungskörper haben.

Beispiele

Ein Körper ist genau dann vollkommen, wenn er

• entweder Charakteristik 0 hat (insbesondere sind die bekannten Körper $\mathbb {Q}$, Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Complex} vollkommen.)

oder

• prime Charakteristik Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p} hat und der Frobenius-Homomorphismus ein Automorphismus ist. (Insbesondere sind alle endlichen Körper vollkommen.)

Ein Beispiel eines nicht vollkommenen Körpers ist der Funktionenkörper Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{F}_q(X)} für einen endlichen Körper Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{F}_q} .

Äquivalente Charakterisierungen

Ein Körper Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} ist vollkommen, wenn er eine der folgenden äquivalenten Bedingungen erfüllt.

• Kein über Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} irreduzibles Polynom hat mehrfache Nullstellen im Zerfällungskörper.
• Jede endliche Erweiterung von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} ist separabel.
• Jede algebraische Erweiterung von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} ist separabel.
• Der separable Abschluss von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} ist algebraisch abgeschlossen.

Weblinks

• Perfect Field (Encyclopedia of Mathematics)
• Perfect Field (MathWorld)