Körperhomomorphismus
In der Mathematik, insbesondere in der Algebra, ist ein Körperhomomorphismus eine strukturerhaltende Abbildung zwischen Körpern.
Definition
Seien und zwei Körper.
- sowie
Es ist daher unerheblich, ob Elemente zunächst in verknüpft werden und das Ergebnis anschließend durch einen Homomorphismus abgebildet wird, oder ob die Verknüpfung der entsprechenden Funktionswerte erst in geschieht.
- Ein bijektiver Körperhomomorphismus heißt Körperisomorphismus.
Körper, zwischen denen ein Isomorphismus existiert, in Zeichen , sind aus Sicht der (abstrakten) Algebra ununterscheidbar.
- Ein Körperisomorphismus eines Körpers in sich selbst heißt Körperautomorphismus.
In der Galois-Theorie beschäftigt man sich speziell mit Körperautomorphismen, die einen gegebenen Unterkörper invariant lassen.
Eigenschaften
- Jeder Körper ist insbesondere ein Ring mit Eins. Entsprechend ist ein Körperhomomorphismus lediglich ein Ringhomomorphismus, für den zusätzlich gefordert wird, dass gilt. Insbesondere induziert sowohl einen Gruppenhomomorphismus der additiven Gruppen als auch einen Gruppenhomomorphismus der multiplikativen Gruppen.
- Ein Körperhomomorphismus ist immer injektiv: Da der Kern eines Ringhomomorphismus ein Ideal ist, aber der Körper nur die trivialen Ideale und besitzt, muss wegen somit gelten. Daher ist injektiv.
- Ein Körperautomorphismus lässt stets zumindest den Primkörper von invariant.
Beispiele
- Die komplexe Konjugation ist ein Körperautomorphismus des Körpers der komplexen Zahlen, der den Unterkörper der reellen Zahlen invariant lässt.
- Für einen Körper, dessen Charakteristik eine Primzahl ist, ist der Frobenius-Homomorphismus ein Körperautomorphismus, der einen zu isomorphen Unterkörper fest lässt.
- Primkörper, zum Beispiel , haben mit Ausnahme der Identitätsabbildung keine Körperautomorphismen.
© biancahoegel.de
Datum der letzten Änderung: Jena, den: 17.04. 2020