Homomorphie

Homomorphie

Ein Homomorphismus (aus dem Griechischen, "homós": gleich; "morphé": Form), ist eine strukturerhaltende Abbildung.

Inhaltsverzeichnis

Allgemeine mathematische Definition

Man kann den Homomorphismusbegriff sehr allgemein definieren, in der Kategorientheorie als Morphismus und in der universellen Algebra als Homomorphismus. Die beiden Begriffe unterscheiden sich in einigen Eigenschaften, sind also nicht austauschbar.

Für die bekanntesten algebraischen Strukturen wie Vektorraum, Gruppen, Ringe, Körper sind aber die folgenden Darstellungen einfacher.

Homomorphismen in einigen algebraischen Strukturen

Seien A und B zwei Strukturen, z. B. Gruppen, Vektorräume, Ringe, Körper usw.

Im folgenden bezeichne (A, * 1, * 2,...,e1,e2,...) eine Struktur mit einer Trägermenge A sowie Verknüpfungen * i auf A mit jeweiligen neutralen Elementen ei.

Beispiele sind die Gruppe (\mathbb Z, +, 0) der ganzen Zahlen mit der Addition als Verknüpfung und dem neutralen Element 0 oder der Körper (\mathbb R, +, \cdot, 0, 1) der reellen Zahlen mit der Addition und Multiplikation. Dann gilt folgendes:

Gruppenhomomorphismus

Eine Abbildung f\colon A\to B heißt Gruppenhomomorphismus zwischen den Gruppen \left(A, \oplus, 1_{\oplus} \right) und \left(B, \otimes, 1_{\otimes}\right), wenn für alle a, b \in A gilt:

f(a \oplus b) = f(a) \otimes f(b).

Damit lässt sich für einen Gruppenhomomorphismus f  leicht zeigen, dass

f\left(1_{\oplus}\right)=1_{\otimes},

denn es gilt

f(a)=f(a \oplus 1_\oplus)=f(a) \otimes f(1_\oplus). Also ist f(1_\oplus) das neutrale Element in B.

Für alle a \in A ist f\left(a^{-1}\right) das Inverse zu f(a), d.h.

f\left(a^{-1}\right)=f\left(a\right)^{-1},

denn es gilt

f\left(a^{-1}\right)=f\left(a^{-1}\right)\otimes f\left(a\right)\otimes f(a)^{-1} = f\left(a^{-1} \oplus a\right)\otimes f(a)^{-1} = f\left(1_\oplus\right)\otimes f(a)^{-1} = f(a)^{-1}.

Siehe auch den Artikel Gruppenhomomorphismus.

Ringhomomorphismus

Es seien (R, +, \cdot) und (S, \oplus, \otimes) Ringe mit Einselement und f\colon R\to S eine Abbildung. f heißt Ringhomomorphismus genau dann, wenn

  • f(a+b) = f(a)\oplus f(b) für alle a,b\in R (d.h. f ist ein Gruppenhomomorphismus von \left( R, +\right) nach (S, \oplus)),
  • f(a\cdot b) = f(a)\otimes f(b) für alle a,b\in R und
  • f\left( 1_R \right) = 1_S.

Wenn x invertierbar ist, dann ist f\left(x^{-1}\right)=f\left(x\right)^{-1}.

Ist f:R\to S ein Ringhomomorphismus, so ist der Kern von f

\ker f := \left\{ x\in R : f(x)=0_S \right\}

ein Ideal in R.

f ist genau dann injektiv, wenn der Kern trivial ist, d. h. nur die Null enthält.

Wenn R ein Körper ist, dann sind {0} und R die einzigen Ideale in R, und damit ist ein Homomorphismus R\to S immer injektiv, sofern S\not=0.

Körperhomomorphismus

Ein Ringhomomorphismus zwischen zwei Körpern wird auch Körperhomomorphismus genannt.

K-Homomorphismus

Sind L / K und L' / K zwei Körpererweiterungen und ist der Körperhomomorphismus \sigma\colon L \rightarrow L' eine Fortsetzung der Identität auf K, so nennt man σ einen K-Homomorphismus.

Homomorphismus zwischen Vektorräumen

Homomorphismen von K-Vektorräumen, also Räumen die für die Multiplikation einen Körper K "heranziehen" müssen, sind besser bekannt als lineare Abbildungen. Sie bilden die Grundlage der linearen Algebra.

Weitere Begriffe

universelle Algebra

Ein Homomorphismus f heißt:

Kategorientheorie

Ein Homomorphismus f heißt:

Weblinks


Wikimedia Foundation.

Игры ⚽ Нужно решить контрольную?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • homomorphie — ● homomorphie nom féminin Identité de structure, de forme et de taille entre deux entités du monde vivant, par exemple deux organes animaux, la larve et l adulte d un insecte, un organe régénéré et celui qu il remplace. Synonyme de homotypie. ●… …   Encyclopédie Universelle

  • Homomorphie — ⇡ Modell …   Lexikon der Economics

  • Frobenius-Normalform/Beweis der Isomorphieeigenschaft — Im Rahmen der Herleitung der Frobenius Normalform ist zum Beweis der Isomorphieeigenschaft der Abbildung zu zeigen, dass es sich um einen K[x] Modul Homomorphismus handelt, wenn links vom Gleichheitszeichen mit Vektoren statt mit Restklassen… …   Deutsch Wikipedia

  • Beschreibungsmodell — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Von einem Modell spricht man oftmals als Gegenstand… …   Deutsch Wikipedia

  • Modellieren — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Von einem Modell spricht man oftmals als Gegenstand… …   Deutsch Wikipedia

  • Modellierung — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Von einem Modell spricht man oftmals als Gegenstand… …   Deutsch Wikipedia

  • Naturwissenschaftliches Modell — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Von einem Modell spricht man oftmals als Gegenstand… …   Deutsch Wikipedia

  • Wissenschaftliches Modell — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Von einem Modell spricht man oftmals als Gegenstand… …   Deutsch Wikipedia

  • Histoire évolutive des végétaux — Diversité des plantes modernes. Les végétaux ont évolué en atteignant des niveaux croissants de complexité, depuis les premières algues, en passant par les bryophytes, les lycopodes et les fougères, jusqu aux complexes gymnospermes et angios …   Wikipédia en Français

  • SYSTÈMES (SCIENCE DES) — Si la science des systèmes, la systémique, est instituée en discipline scientifique autonome depuis la fin des années soixante dix, elle doit être entendue, pratiquée, enseignée et développée dans le contexte que définit l’histoire complexe des… …   Encyclopédie Universelle

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”