Der Primkörper ist ein Begriff aus dem mathematischen Teilgebiet Algebra mit zwei unterschiedlichen Bedeutungen. Zum einen wird der kleinste Teilkörper eines Körpers als dessen Primkörper bezeichnet, zum anderen wird der Begriff für endliche Körper mit Elementen verwendet, wobei eine Primzahl ist.[1] Beide Definitionen sind eng verwandt, da der Primkörper eines Körpers mit Primzahlcharakteristik ein Primkörper gemäß der zweiten Definition ist.

Isomorphietyp der Primkörper

Bearbeiten

Die Charakteristik eines Körpers legt den Isomorphietyp seines Primkörpers fest. Da ein Körper immer ein Integritätsring ist, kann seine Charakteristik nur 0 oder eine Primzahl sein. Ist die Charakteristik 0, so ist der Primkörper isomorph zum Körper   der rationalen Zahlen. Dies impliziert, dass Körper, deren Charakteristik 0 ist, immer unendlich sind, schließlich enthalten sie immer  . Ist sie hingegen eine Primzahl  , so ist der Primkörper isomorph zum Restklassenkörper  . Hieraus lässt sich aber nicht folgern, dass Körper mit Primzahlcharakteristik immer endlich sind. Auch unendliche Körper können endliche Primkörper besitzen. Ein Beispiel hierfür ist der algebraische Abschluss   von   oder der Körper   der rationalen Funktionen über  .

Weitere Eigenschaften von Primkörpern

Bearbeiten
  • Der Primkörper ist der Durchschnitt aller Teilkörper eines Körpers.
  • Jeder Körper ist Oberkörper seines Primkörpers.
  • Es lässt sich zeigen, dass die Ordnung jedes endlichen Körpers eine Potenz der Ordnung seines Primkörpers ist.
  • Alle Primkörper sind starr, d. h., sie besitzen nur den trivialen Automorphismus. Der Primkörper eines beliebigen Körpers kann also auf eindeutige Weise mit einem der oben genannten Körper identifiziert werden.

Literatur

Bearbeiten

Einzelnachweise

Bearbeiten
  1. Martin Bossert: Kanalcodierung. 2. Auflage. B. G. Teubner, Stuttgart 1998, ISBN 3-519-16143-5, S. 35–36