Homomorphismus

Als Homomorphismus (von altgriechisch ὁμόςhomós „gleich“ und μορφήmorphé „Form, Gestalt“; nicht zu verwechseln mit Homöomorphismus) werden in der Mathematik Abbildungen bezeichnet, die eine (oft algebraische) mathematische Struktur erhalten bzw. damit verträglich (strukturtreu) sind. Ein Homomorphismus bildet die Elemente aus der einen Menge so in die andere Menge ab, dass sich ihre Bilder dort hinsichtlich der Struktur ebenso verhalten, wie sich deren Urbilder in der Struktur der Ausgangsmenge verhalten.

Es seien ${\displaystyle {\boldsymbol {A}}=(A,(f_{i})_{i\in I})}$ und ${\displaystyle {\boldsymbol {B}}=(B,(g_{i})_{i\in I})}$ zwei algebraische Strukturen vom gleichen Typ ${\displaystyle \sigma =(m_{i})_{i\in I},}$ so dass für jedes ${\displaystyle i}$ die Zahl ${\displaystyle m_{i}\in \mathbb {N} _{0}}$ die (übereinstimmende) Stelligkeit der fundamentalen Operationen ${\displaystyle f_{i}}$ und ${\displaystyle g_{i}}$ bezeichnet.^[1] Eine Abbildung ${\displaystyle \varphi \colon A\to B}$ heißt Homomorphismus von ${\displaystyle {\boldsymbol {A}}}$ nach ${\displaystyle {\boldsymbol {B}},}$ wenn für jedes ${\displaystyle i}$ und für alle ${\displaystyle a_{1},\ldots ,a_{m_{i}}\in A}$ gilt:^[2]

${\displaystyle \varphi (f_{i}(a_{1},\ldots ,a_{m_{i}}))=g_{i}(\varphi (a_{1}),\ldots ,\varphi (a_{m_{i}}))}$.

Klassisches Beispiel von Homomorphismen sind Homomorphismen zwischen Gruppen. Gegeben seien zwei Gruppen ${\displaystyle (G,*)}$ und ${\displaystyle (H,\star ).}$ Eine Funktion

${\displaystyle \phi \colon G\to H}$

heißt Gruppenhomomorphismus, wenn für alle Elemente ${\displaystyle g_{1},g_{2}\in G}$ gilt:

${\displaystyle \phi (g_{1}*g_{2})=\phi (g_{1})\star \phi (g_{2}).}$

Aus dieser Bedingung folgt unmittelbar, dass

${\displaystyle \phi (e_{G})=e_{H}}$

für die neutralen Elemente ${\displaystyle e_{G}\in G,e_{H}\in H}$ und dann

${\displaystyle \phi (g^{-1})=\phi (g)^{-1}}$

für alle ${\displaystyle g\in G}$ gelten muss sowie, mittels vollständiger Induktion, dass

${\displaystyle \phi (g_{1}*\ldots *g_{n})=\phi (g_{1})\star \ldots \star \phi (g_{n})}$

für eine beliebige endliche Anzahl von Faktoren gilt.

An diesem Beispiel orientieren sich die Definitionen der Homomorphismen verschiedener algebraischer Strukturen:

• Gruppenhomomorphismus
• Ringhomomorphismus
• Körperhomomorphismus
• Vektorraumhomomorphismus (Lineare Abbildung)
• Auswertungshomomorphismus der Termalgebra
• Modulhomomorphismus
• Algebrenhomomorphismus
• Lie-Algebren-Homomorphismus

Wir formulieren im Folgenden einige grundlegende Eigenschaften von Homomorphismen von Gruppen, die analog auch für die Homomorphismen der anderen algebraischen Strukturen gelten.

Wenn ${\displaystyle \phi \colon G\to H}$ und ${\displaystyle \psi \colon H\to J}$ Homomorphismen sind, dann ist auch die durch

${\displaystyle (\psi \circ \phi )(g):=\psi (\phi (g))}$ für alle ${\displaystyle g\in G}$

definierte Abbildung ${\displaystyle \psi \circ \phi \colon G\to J}$ ein Homomorphismus.

Wenn ${\displaystyle \phi \colon G\to H}$ ein Homomorphismus ist, dann ist für jede Untergruppe ${\displaystyle U\subseteq G}$ auch

${\displaystyle \phi (U):=\left\{\phi (g)\mid g\in U\right\},}$

genannt das Bild von ${\displaystyle U}$ unter ${\displaystyle \phi }$, eine Untergruppe von ${\displaystyle H}$. Speziell wird die Untergruppe

${\displaystyle \operatorname {Bild} (\phi ):=\phi (G)\subseteq H}$

als Bild von ${\displaystyle \phi }$ bezeichnet. Weiterhin ist für jede Untergruppe ${\displaystyle V\subseteq H}$ auch

${\displaystyle \phi ^{-1}[V]:=\phi ^{-1}(V):=\left\{g\in G\mid \phi (g)\in V\right\},}$

genannt das Urbild von ${\displaystyle V}$ unter ${\displaystyle \phi }$, eine Untergruppe von ${\displaystyle G}$. Das Urbild der trivialen Gruppe, d. i. die Untergruppe

${\displaystyle \operatorname {Kern} (\phi ):=\phi ^{-1}(e_{H}):=\phi ^{-1}[\{e_{H}\}]\subseteq G,}$

wird als Kern von ${\displaystyle \phi }$ bezeichnet. Sie ist sogar ein Normalteiler.

Falls ${\displaystyle \phi \colon G\to H}$ ein bijektiver Homomorphismus ist, dann ist auch ${\displaystyle \phi ^{-1}\colon H\to G}$ ein Homomorphismus. Man sagt in diesem Fall, dass ${\displaystyle \phi }$ und ${\displaystyle \phi ^{-1}}$ Isomorphismen sind.^[3]

Wenn ${\displaystyle \phi \colon G\to H}$ ein Homomorphismus ist, dann induziert ${\displaystyle \phi }$ einen Isomorphismus

${\displaystyle G/\operatorname {Kern} (\phi )\cong \operatorname {Bild} (\phi )}$

der Quotientengruppe ${\displaystyle G/\operatorname {Kern} (\phi )}$ auf ${\displaystyle \operatorname {Bild} (\phi )}$.

Auch außerhalb der Algebra werden strukturerhaltende Abbildungen oft als Homomorphismen bezeichnet. Die meisten dieser Verwendungen des Begriffs Homomorphismus, einschließlich der oben aufgeführten algebraischen Strukturen, lassen sich unter der folgenden Definition subsumieren.^[4]

Es seien ${\displaystyle {\boldsymbol {A}}=(A,(R_{i}))}$ und ${\displaystyle {\boldsymbol {B}}=(B,(S_{i}))}$ zwei relationale Strukturen vom gleichen Typ ${\displaystyle (n_{i}),}$ sodass ${\displaystyle n_{i}\in \mathbb {N} }$ für jedes ${\displaystyle i}$ die Stelligkeit der Relationen ${\displaystyle R_{i}}$ und ${\displaystyle S_{i}}$ bezeichnet. Eine Abbildung ${\displaystyle \varphi \colon A\to B}$ heißt dann eine homomorphe Abbildung, eine Homomorphie oder ein Homomorphismus von ${\displaystyle {\boldsymbol {A}}}$ nach ${\displaystyle {\boldsymbol {B}},}$ wenn sie für jedes ${\displaystyle i}$ und für alle ${\displaystyle a_{1},\ldots ,a_{n_{i}}\in A}$ die folgende Verträglichkeitseigenschaft besitzt:^[5]

${\displaystyle (a_{1},\ldots ,a_{n_{i}})\in R_{i}\Rightarrow (\varphi (a_{1}),\ldots ,\varphi (a_{n_{i}}))\in S_{i}.}$

Schreibweise:

${\displaystyle \varphi \colon {\boldsymbol {A}}\to {\boldsymbol {B}}.}$

Da jede Funktion ${\displaystyle f\colon A^{n}\to A}$ als Relation ${\displaystyle f\subset A^{n+1}}$ beschrieben werden kann, lässt sich jede algebraische Struktur als relationale Struktur auffassen und die spezielle algebraische Definition ist somit in dieser Definition enthalten.

Hat man in obiger Definition bei einem injektiven Homomorphismus sogar die Äquivalenz

${\displaystyle (a_{1},\ldots ,a_{n_{i}})\in R_{i}\Leftrightarrow (\varphi (a_{1}),\ldots ,\varphi (a_{n_{i}}))\in S_{i}}$,

so spricht man von einem starken Homomorphismus.^[6]

• Homomorphismen algebraischer Strukturen (diese sind auch stets starke Homomorphismen)
• Ordnungshomomorphismus
• Graphenhomomorphismus
• Homomorphismen in der Inzidenzgeometrie, zum Beispiel Homomorphismus projektiver Räume
• Homomorphismus zwischen Modellen^[7]

Auch Abbildungen, die verträglich sind mit Strukturen, die unendlichstellige Operationen besitzen, werden Homomorphismus genannt:

• ein vollständiger Verbandshomomorphismus ist verträglich mit beliebigen (auch unendlichen) Vereinigungen und Durchschnitten

In einigen Teilgebieten der Mathematik beinhaltet der Begriff des Homomorphismus, dass die Verträglichkeit noch weitere Zusatzstrukturen umfasst:

• ein Homomorphismus topologischer Gruppen ist ein stetiger Gruppenhomomorphismus
• ein Lie-Gruppen-Homomorphismus ist ein glatter Gruppenhomomorphismus zwischen Lie-Gruppen^[8]

Der Begriff erfährt auch eine Verallgemeinerung für heterogene Algebren, siehe Heterogene Algebra: Homomorphismen.

• Morphismus (Kategorientheorie)
• Verträglichkeit (Mathematik)
• Epimorphismus
• Monomorphismus
• Isomorphismus
• Einbettung
• Endomorphismus
• Automorphismus
• Subquotient

• Serge Lang: Algebra. (= Graduate Texts in Mathematics. 211). 3., überarb. Auflage. Springer-Verlag, New York 2002, ISBN 0-387-95385-X.
• Nathan Jacobson: Basic algebra. I. 2. Auflage. W. H. Freeman and Company, New York 1985, ISBN 0-7167-1480-9.
• Thomas W. Hungerford: Algebra. (= Graduate Texts in Mathematics. 73). Springer-Verlag, New York / Berlin 1980, ISBN 0-387-90518-9. (Nachdruck der Ausgabe 1974)
• Garrett Birkhoff: Lattice Theory. 3. Auflage. AMS, Providence (RI) 1973, ISBN 0-8218-1025-1, S. 134–136. 
• Marcel Erné: Einführung in die Ordnungstheorie. Bibliographisches Institut, Mannheim/Wien/Zürich 1982, ISBN 3-411-01638-8, S. 112–113. 
• Helmuth Gericke: Theorie der Verbände. Bibliographisches Institut, Mannheim 1963, S. 55–62, 147. 
• George Grätzer: Universal Algebra. 2., aktualisierte Auflage. Springer, New York 2008, ISBN 978-0-387-77486-2, S. 223–224, doi:10.1007/978-0-387-77487-9 (Erstausgabe: 1979). 
• Gunther Schmidt, Thomas Ströhlein: Relationen und Graphen. Springer, Berlin / Heidelberg / New York 1989, ISBN 3-540-50304-8, S. 144–153. 
• Bartel Leendert van der Waerden: Algebra I (= Heidelberger Taschenbücher. Band 12). 8. Auflage. Band 1: Moderne Algebra. Springer, Berlin / Göttingen / Heidelberg / New York 1971, ISBN 3-540-03561-3, S. 27–30. 
• Heinrich Werner: Einführung in die allgemeine Algebra. Bibliographisches Institut, Mannheim 1978, ISBN 3-411-00120-8, S. 48, 19. 

Wiktionary: Homomorphismus – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen

1. ↑ Jede ${\displaystyle m}$-stellige Operation ist eine spezielle ${\displaystyle m+1}$-stellige homogene Relation (Funktion).
2. ↑ Diese Definition ist mit der unten gegebenen verträglich, wenn man von einer Funktion ${\displaystyle f_{i}}$ zur Relation ${\displaystyle R_{i}}$, die durch den Funktionsgraph gegeben ist, übergeht, denn dann gilt

   ${\displaystyle f_{i}(a_{1},\ldots ,a_{m_{i}})=a\Leftrightarrow (a_{1},\ldots ,a_{m_{i}},a)\in R_{i}}$,

   und genauso für ${\displaystyle (B,(g_{i}))}$.
3. ↑ Die Urbildfunktion ${\displaystyle \phi ^{-1}}$, die auf Mengen operiert, und die inverse Abbildung ${\displaystyle \phi ^{-1}}$, die auf Elementen operiert, sind streng genommen 2 verschiedene Funktionen. Sind Missverständnisse zu befürchten, dann setzt man im ersteren Fall die Mengen in eckige Klammern ${\displaystyle [\;]}$.
4. ↑ Eine allgemeine Definition wurde im klassischen Lehrbuch Moderne Algebra angegeben: „Wenn in zwei Mengen ${\displaystyle {\mathfrak {M}}}$ und ${\displaystyle {\mathfrak {N}}}$ gewisse Relationen (wie ${\displaystyle a<b}$ oder ${\displaystyle ab=c}$) definiert sind und wenn jedem Element ${\displaystyle a}$ von ${\displaystyle {\mathfrak {M}}}$ ein Bildelement ${\displaystyle {\bar {a}}=\varphi a}$ so zugeordnet ist, daß alle Relationen zwischen Elementen von ${\displaystyle {\mathfrak {M}}}$ auch für die Bildelemente gelten (so daß z. B. aus ${\displaystyle a<b}$ folgt ${\displaystyle {\bar {a}}<{\bar {b}},}$ wenn es sich um die Relation ${\displaystyle <}$ handelt), so heißt ${\displaystyle \varphi }$ eine homomorphe Abbildung oder ein Homomorphismus von ${\displaystyle {\mathfrak {M}}}$ in ${\displaystyle {\mathfrak {N}}.}$“ (B. L. van der Waerden: Algebra. (= Heidelberger Taschenbücher. Band 12). Teil I, Siebte Auflage. Springer-Verlag, Berlin / New York 1966 (Einleitung zu Paragraph 10))
5. ↑ Manche Autoren (Wilhelm Klingenberg: Lineare Algebra und Geometrie. Springer, Berlin / Heidelberg 1984, ISBN 3-540-13427-1, S. 7.; Garrett Birkhoff: Lattice Theory. 1973, S. 134.) nennen einen Homomorphismus auch nur kurz „Morphismus“, während andere (Fritz Reinhardt, Heinrich Sonder: dtv-Atlas Mathematik. Band 1: Grundlagen, Algebra und Geometrie. 9. Auflage. Deutscher Taschenbuchverlag, München 1991, ISBN 3-423-03007-0, S. 36–37.) jede strukturverträgliche Abbildung „Morphismus“ nennen und nur einen Homomorphismus von algebraischen Strukturen als „Homomorphismus“ bezeichnen.
6. ↑ Philipp Rothmaler: Einführung in die Modelltheorie. Spektrum Akademischer Verlag 1995, ISBN 3-86025-461-8, Abschnitt 1.3 Homomorphismen. S. 20.
7. ↑ Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas: Einführung in die mathematische Logik. 3., vollst. überarb. u. erw. Auflage. Bibliographisches Institut, Mannheim 1992, ISBN 3-411-15603-1, S. 225.
8. ↑ Jeder stetige Gruppenhomomorphismus zwischen Lie-Gruppen ist glatt.