Lexikon der Mathematik: Körperhomomorphismus
eine Abbildung zwischen Körpern.
Es seien L1 und L2 zwei Körper. Eine Abbildung ϕ : L1 → L2 heißt Körperhomomorphismus, falls für alle a, b ∈ L1 gilt
Ein Körperhomomorphismus ist immer injektiv, also ein Körpermonomorphismus, und bildet den Primkörper von L1 isomorph auf den Primkörper von L2 ab. Insbesondere existieren Homomorphismen nur zwischen Körpern über dem gleichen Primkörper, bzw. solchen mit gleicher Charakteristik. Der Körper L1 kann wegen der Injektivität als Unterkörper in L2 eingebettet werden. Ein Körperhomomorphismus heißt ein Körperisomorphismus, falls er auch surjektiv ist.
Von Bedeutung ist die Situation, in der L1 und L2 Erweiterungskörper eines gemeinsamen Grundkörpers 𝕂 sind, und nur Körperhomomorphismen φ : L1 →L2, die 𝕂 elementweise festlassen, betrachtet werden. Der Morphismus heißt dann Körperhomomorphismus über 𝕂. Ist α ∈ L1 ein algebraisches Element über 𝕂, d. h. Nullstelle eines Polynoms f(X) mit Koeffizienten aus 𝕂, so ist ϕ(α) ebenfalls Nullstelle des Polynoms f(X).
Ist L1 = L2 = L, so spricht man auch von Körperendomorphismen von L, bzw. falls ϕ surjektiv ist, von Körperautomorphismen. Ist L algebra-isch über 𝕂, dann ist jeder Körperendomorphismus über 𝕂 ein Körperautomorphismus.
Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.