Homomorphismus

Aus besserwiki.de

In der Algebra ist ein Homomorphismus eine strukturerhaltende Abbildung zwischen zwei algebraischen Strukturen desselben Typs (z. B. zwei Gruppen, zwei Ringe oder zwei Vektorräume). Das Wort Homomorphismus stammt aus dem Altgriechischen: ὁμός (homos) bedeutet "gleich" und μορφή (morphe) bedeutet "Form" oder "Gestalt". Das Wort wurde jedoch offenbar durch eine (falsche) Übersetzung des deutschen Wortes ähnlich" in ὁμός für gleich" in die Mathematik eingeführt. Der Begriff "Homomorphismus" tauchte bereits 1892 auf, als er dem deutschen Mathematiker Felix Klein (1849-1925) zugeschrieben wurde.

Homomorphismen von Vektorräumen werden auch als lineare Abbildungen bezeichnet, und ihre Untersuchung ist Gegenstand der linearen Algebra.

Das Konzept des Homomorphismus wurde unter dem Namen Morphismus auf viele andere Strukturen verallgemeinert, denen entweder keine Menge zugrunde liegt oder die nicht algebraisch sind. Diese Verallgemeinerung ist der Ausgangspunkt der Kategorientheorie.

Ein Homomorphismus kann auch ein Isomorphismus, ein Endomorphismus, ein Automorphismus usw. sein (siehe unten). Jeder dieser Homomorphismen kann so definiert werden, dass er auf jede Klasse von Morphismen verallgemeinert werden kann.

Als Homomorphismus (zusammengesetzt aus altgriechisch ὁμός homós ‚gleich‘, und altgriechisch μορφή morphé ‚Form‘; 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.

Definition

Ein Homomorphismus ist eine Abbildung zwischen zwei algebraischen Strukturen desselben Typs (d. h. desselben Namens), bei der die Operationen der Strukturen erhalten bleiben. Dies bedeutet eine Abbildung zwischen zwei Mengen , die mit der gleichen Struktur ausgestattet sind, so dass, wenn eine Operation der Struktur ist (zur Vereinfachung wird hier angenommen, dass es sich um eine binäre Operation handelt), dann

für jedes Paar , von Elementen von . Man sagt oft, dass die Operation bewahrt oder mit der Operation kompatibel ist.

Formal gilt, dass eine Abbildung bewahrt eine Operation der Arität k, die sowohl auf und wenn

für alle Elemente in .

Zu den Operationen, die durch einen Homomorphismus erhalten bleiben müssen, gehören auch 0-äre Operationen, d. h. die Konstanten. Insbesondere, wenn ein Identitätselement durch den Typ der Struktur erforderlich ist, muss das Identitätselement der ersten Struktur auf das entsprechende Identitätselement der zweiten Struktur abgebildet werden.

Ein Beispiel:

  • Ein Halbgruppenhomomomorphismus ist eine Abbildung zwischen Halbgruppen, bei der die Halbgruppenoperation erhalten bleibt.
  • Ein Monoid-Homomorphismus ist eine Abbildung zwischen Monoiden, die die Monoid-Operation beibehält und das Identitätselement des ersten Monoids auf das des zweiten Monoids abbildet (das Identitätselement ist eine 0-äre Operation).
  • Ein Gruppenhomomorphismus ist eine Abbildung zwischen Gruppen, die die Gruppenoperation beibehält. Dies bedeutet, dass der Gruppenhomomorphismus das Identitätselement der ersten Gruppe auf das Identitätselement der zweiten Gruppe abbildet und die Umkehrung eines Elements der ersten Gruppe auf die Umkehrung des Bildes dieses Elements abbildet. Somit ist ein Halbgruppenhomomorphismus zwischen Gruppen notwendigerweise ein Gruppenhomomorphismus.
  • Ein Ringhomomorphismus ist eine Abbildung zwischen Ringen, die die Ringaddition, die Ringmultiplikation und die multiplikative Identität bewahrt. Ob die multiplikative Identität erhalten bleibt, hängt von der verwendeten Definition des Rings ab. Bleibt die multiplikative Identität nicht erhalten, handelt es sich um einen rng-Homomorphismus.
  • Eine lineare Abbildung ist ein Homomorphismus von Vektorräumen, d. h. ein Gruppenhomomorphismus zwischen Vektorräumen, der die Struktur der abelschen Gruppe und die Skalarmultiplikation bewahrt.
  • Ein Modulhomomorphismus, auch lineare Abbildung zwischen Modulen genannt, ist ähnlich definiert.
  • Ein Algebra-Homomorphismus ist eine Abbildung, die die Algebra-Operationen beibehält.

Eine algebraische Struktur kann mehr als eine Operation haben, und ein Homomorphismus muss jede Operation bewahren. Eine Abbildung, bei der nur einige der Operationen erhalten bleiben, ist also kein Homomorphismus der Struktur, sondern nur ein Homomorphismus der Substruktur, die man erhält, wenn man nur die erhaltenen Operationen betrachtet. Zum Beispiel ist eine Abbildung zwischen Monoiden, die die Monoid-Operation und nicht das Identitätselement bewahrt, kein Monoid-Homomorphismus, sondern nur ein Halbgruppen-Homomorphismus.

Die Notation für die Operationen muss in der Quelle und im Ziel eines Homomorphismus nicht identisch sein. Beispielsweise bilden die reellen Zahlen eine Gruppe für die Addition, und die positiven reellen Zahlen bilden eine Gruppe für die Multiplikation. Die Exponentialfunktion

erfüllt die Bedingung

und ist somit ein Homomorphismus zwischen diesen beiden Gruppen. Sie ist sogar ein Isomorphismus (siehe unten), da ihre Umkehrfunktion, der natürliche Logarithmus, die Bedingung

und ist ebenfalls ein Gruppenhomomorphismus.

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

Beispiele

Monoider Homomorphismus vom Monoid (N, +, 0) zum Monoid (N, ×, 1), definiert durch . Er ist injektiv, aber nicht surjektiv.

Die reellen Zahlen sind ein Ring, der sowohl Addition als auch Multiplikation kennt. Die Menge aller 2×2-Matrizen ist ebenfalls ein Ring und unterliegt der Matrixaddition und -multiplikation. Wenn wir eine Funktion zwischen diesen Ringen wie folgt definieren:

wobei r eine reelle Zahl ist, dann ist f ein Homomorphismus der Ringe, da f sowohl die Addition als auch die Multiplikation bewahrt:

und Multiplikation:

Ein weiteres Beispiel: Die komplexen Zahlen ungleich Null bilden eine Gruppe unter der Operation der Multiplikation, ebenso wie die reellen Zahlen ungleich Null. (Die Null muss aus beiden Gruppen ausgeschlossen werden, da sie keine multiplikative Umkehrung hat, die für Elemente einer Gruppe erforderlich ist.) Definieren Sie eine Funktion von den komplexen Zahlen ungleich Null zu den reellen Zahlen ungleich Null durch

Das heißt, ist der Absolutwert (oder Modulus) der komplexen Zahl . Dann ist ein Homomorphismus von Gruppen, da er die Multiplikation bewahrt:

Man beachte, dass f nicht zu einem Homomorphismus von Ringen (von den komplexen Zahlen zu den reellen Zahlen) erweitert werden kann, da er die Addition nicht bewahrt:

Als weiteres Beispiel zeigt das Diagramm einen Monoidhomomomorphismus vom Monoid zu dem Monoid . Aufgrund der unterschiedlichen Namen der entsprechenden Operationen sind die Strukturerhaltungseigenschaften, die von erfüllen, auf und .

Eine Kompositionsalgebra über einem Feld hat eine quadratische Form, die Norm genannt wird, , die ein Gruppenhomomorphismus von der multiplikativen Gruppe von zu der multiplikativen Gruppe von .

Besondere Homomorphismen

Mehrere Arten von Homomorphismen haben einen speziellen Namen, der auch für allgemeine Morphismen definiert ist.

Isomorphismus

Ein Isomorphismus zwischen algebraischen Strukturen desselben Typs wird gemeinhin als bijektiver Homomorphismus definiert.

Im allgemeineren Kontext der Kategorientheorie ist ein Isomorphismus definiert als ein Morphismus, der eine Umkehrung hat, die ebenfalls ein Morphismus ist. Im speziellen Fall algebraischer Strukturen sind die beiden Definitionen äquivalent, obwohl sie sich für nicht-algebraische Strukturen, die eine zugrunde liegende Menge haben, unterscheiden können.

Genauer gesagt, wenn

ein (Homo)morphismus ist, hat er ein Inverses, wenn es einen Homomorphismus

derart, dass

Wenn und zugrundeliegende Mengen haben, und eine Umkehrung hat , dann bijektiv. In der Tat injektiv, da impliziert , und ist surjektiv, denn für jede in hat man , und das Bild eines Elements von .

Umgekehrt, wenn ein bijektiver Homomorphismus zwischen algebraischen Strukturen ist, sei die Abbildung sein, so dass das einzige Element von ist. derart, dass . Man hat und es bleibt nur zu zeigen, dass g ein Homomorphismus ist. Wenn eine binäre Operation der Struktur ist, ist für jedes Paar , von Elementen von hat man

und ist also kompatibel mit Da der Beweis für jede Arität ähnlich ist, zeigt dies, dass ein Homomorphismus ist.

Dieser Beweis funktioniert nicht für nicht-algebraische Strukturen. Für topologische Räume zum Beispiel ist ein Morphismus eine stetige Abbildung, und die Umkehrung einer bijektiven stetigen Abbildung ist nicht notwendigerweise stetig. Ein Isomorphismus topologischer Räume, auch Homöomorphismus oder bikontinuierliche Abbildung genannt, ist somit eine bijektive kontinuierliche Abbildung, deren Inverse ebenfalls kontinuierlich ist.

Falls ein bijektiver Homomorphismus ist, dann ist auch ein Homomorphismus. Man sagt in diesem Fall, dass und Isomorphismen sind.

Endomorphismus

Ein Endomorphismus ist ein Homomorphismus, dessen Domäne gleich der Codomäne ist, oder, allgemeiner, ein Morphismus, dessen Quelle gleich seinem Ziel ist.

Die Endomorphismen einer algebraischen Struktur oder eines Objekts einer Kategorie bilden ein Monoid unter Komposition.

Die Endomorphismen eines Vektorraums oder eines Moduls bilden einen Ring. Im Falle eines Vektorraums oder eines freien Moduls endlicher Dimension induziert die Wahl einer Basis einen Ringisomorphismus zwischen dem Ring der Endomorphismen und dem Ring der quadratischen Matrizen derselben Dimension.

Automorphismus

Ein Automorphismus ist ein Endomorphismus, der auch ein Isomorphismus ist.

Die Automorphismen einer algebraischen Struktur oder eines Objekts einer Kategorie bilden eine Gruppe unter Komposition, die als Automorphismengruppe der Struktur bezeichnet wird.

Viele Gruppen, die einen Namen erhalten haben, sind Automorphismengruppen einer algebraischen Struktur. Zum Beispiel ist die allgemeine lineare Gruppe ist die Automorphismengruppe eines Vektorraums der Dimension über einem Feld .

Die Automorphismengruppen von Feldern wurden von Évariste Galois zur Untersuchung der Wurzeln von Polynomen eingeführt und bilden die Grundlage der Galois-Theorie.

Monomorphismus

Für algebraische Strukturen werden Monomorphismen üblicherweise als injektive Homomorphismen definiert.

Im allgemeineren Kontext der Kategorientheorie ist ein Monomorphismus definiert als ein Morphismus, der links aufhebbar ist. Das bedeutet, dass ein (Homo)morphismus ein Monomorphismus ist, wenn für jedes Paar , von Morphismen von jedem anderen Objekt zu , dann impliziert .

Diese beiden Definitionen von Monomorphismus sind für alle gängigen algebraischen Strukturen äquivalent. Genauer gesagt sind sie äquivalent für Felder, für die jeder Homomorphismus ein Monomorphismus ist, und für Varietäten der universellen Algebra, d. h. algebraische Strukturen, für die Operationen und Axiome (Identitäten) ohne jegliche Einschränkung definiert sind (die Felder bilden keine Varietät, da die multiplikative Inverse entweder als unäre Operation oder als Eigenschaft der Multiplikation definiert ist, die in beiden Fällen nur für Elemente ungleich Null definiert sind).

Insbesondere sind die beiden Definitionen eines Monomorphismus äquivalent für Mengen, Magmen, Halbgruppen, Monoide, Gruppen, Ringe, Felder, Vektorräume und Module.

Ein gespaltener Monomorphismus ist ein Homomorphismus, der eine linke Inverse hat und somit selbst eine rechte Inverse dieses anderen Homomorphismus ist. Das heißt, ein Homomorphismus ist ein gespaltener Monomorphismus, wenn es einen Homomorphismus derart, dass Ein gespaltener Monomorphismus ist immer ein Monomorphismus, und zwar für beide Bedeutungen von Monomorphismus. Für Mengen und Vektorräume ist jeder Monomorphismus ein gespaltener Monomorphismus, aber diese Eigenschaft gilt nicht für die meisten algebraischen Strukturen.

Beweis der Äquivalenz der beiden Definitionen von Monomorphismen

Ein injektiver Homomorphismus ist links aufhebbar: Wenn hat man für jede in , die gemeinsame Quelle von und . Wenn injektiv ist, dann , und somit . Dieser Beweis gilt nicht nur für algebraische Strukturen, sondern auch für jede Kategorie, deren Objekte Mengen und Pfeile Abbildungen zwischen diesen Mengen sind. Zum Beispiel ist eine injektive stetige Abbildung ein Monomorphismus in der Kategorie der topologischen Räume.

Um zu beweisen, dass umgekehrt ein linksaufhebbarer Homomorphismus injektiv ist, ist es nützlich, ein freies Objekt auf . Bei einer Vielzahl von algebraischen Strukturen ist ein freies Objekt auf ist ein Paar, das aus einer algebraischen Struktur dieser Sorte und einem Element von ist. das die folgende universelle Eigenschaft erfüllt: für jede Struktur der Sorte und jedes Element von ist. gibt es einen eindeutigen Homomorphismus derart, dass . Zum Beispiel ist für Mengen das freie Objekt auf einfach ; für Halbgruppen ist das freie Objekt auf ist das als Halbgruppe isomorph zur additiven Halbgruppe der positiven ganzen Zahlen ist; für Monoide ist das freie Objekt auf ist das als Monoid isomorph zum additiven Monoid der nichtnegativen ganzen Zahlen ist; für Gruppen ist das freie Objekt auf ist die unendliche zyklische Gruppe die, als Gruppe, isomorph zur additiven Gruppe der ganzen Zahlen ist; für Ringe ist das freie Objekt auf der Polynomring für Vektorräume oder Module ist das freie Objekt auf der Vektorraum oder das freie Modul, das als Basis hat.

Wenn ein freies Objekt über existiert, dann ist jeder linksaufhebbare Homomorphismus injektiv: Sei sei ein linker aufhebbarer Homomorphismus und und seien zwei Elemente von solche . Durch die Definition des freien Objekts gibt es Homomorphismen und von zu derart, dass und . Wie hat man durch die Einzigartigkeit in der Definition einer universellen Eigenschaft. Da links aufhebbar ist, hat man , und somit . Daher ist, injektiv.

Das Vorhandensein eines freien Objekts auf für eine Sorte (siehe auch Free object § Existence): Zur Bildung eines freien Objekts über betrachtet man die Menge der wohlgeformten Formeln, die aus und die Operationen der Struktur. Zwei solche Formeln werden als äquivalent bezeichnet, wenn man durch Anwendung der Axiome (Identitäten der Struktur) von der einen zur anderen übergehen kann. Dies definiert eine Äquivalenzrelation, wenn die Identitäten nicht an Bedingungen geknüpft sind, d.h. wenn man mit einer Varietät arbeitet. Dann sind die Operationen der Varietät gut definiert auf der Menge der Äquivalenzklassen von für diese Beziehung. Es ist einfach zu zeigen, dass das resultierende Objekt ein freies Objekt ist auf .

Epimorphismus

In der Algebra werden Epimorphismen häufig als surjektive Homomorphismen definiert. In der Kategorientheorie hingegen sind Epimorphismen als rechts aufhebbare Morphismen definiert. Das bedeutet, dass ein (Homo)morphismus ein Epimorphismus ist, wenn für jedes Paar , von Morphismen von zu einem beliebigen anderen Objekt die Gleichheit impliziert .

Ein surjektiver Homomorphismus ist immer rechts aufhebbar, aber das Umgekehrte gilt nicht immer für algebraische Strukturen. Die beiden Definitionen von Epimorphismus sind jedoch äquivalent für Mengen, Vektorräume, abelsche Gruppen, Module (Beweis siehe unten) und Gruppen. Die Bedeutung dieser Strukturen in der gesamten Mathematik, insbesondere in der linearen Algebra und der homologischen Algebra, kann die Koexistenz zweier nicht-äquivalenter Definitionen erklären.

Zu den algebraischen Strukturen, für die es nicht-surjektive Epimorphismen gibt, gehören Halbgruppen und Ringe. Das einfachste Beispiel ist der Einschluss der ganzen Zahlen in die rationalen Zahlen, der ein Homomorphismus von Ringen und multiplikativen Halbgruppen ist. Für beide Strukturen handelt es sich um einen Monomorphismus und einen nicht-surjektiven Epimorphismus, aber nicht um einen Isomorphismus.

Eine weite Verallgemeinerung dieses Beispiels ist die Lokalisierung eines Rings durch eine multiplikative Menge. Jede Lokalisierung ist ein Ringepimorphismus, der im Allgemeinen nicht surjektiv ist. Da Lokalisierungen in der kommutativen Algebra und der algebraischen Geometrie von grundlegender Bedeutung sind, mag dies erklären, warum in diesen Bereichen im Allgemeinen die Definition von Epimorphismen als rechtsaufhebbare Homomorphismen bevorzugt wird.

Ein gespaltener Epimorphismus ist ein Homomorphismus, der eine rechte Umkehrung hat und somit selbst eine linke Umkehrung dieses anderen Homomorphismus ist. Das heißt, ein Homomorphismus ist ein Split-Epimorphismus, wenn es einen Homomorphismus derart, dass Ein gespaltener Epimorphismus ist immer ein Epimorphismus, für beide Bedeutungen von Epimorphismus. Für Mengen und Vektorräume ist jeder Epimorphismus ein Split-Epimorphismus, aber diese Eigenschaft gilt nicht für die meisten algebraischen Strukturen.

Zusammenfassend lässt sich sagen, dass

die letzte Implikation ist eine Äquivalenz für Mengen, Vektorräume, Module und abelsche Gruppen; die erste Implikation ist eine Äquivalenz für Mengen und Vektorräume.

Äquivalenz der beiden Definitionen des Epimorphismus

Sei sei ein Homomorphismus. Wir wollen beweisen, dass er, wenn er nicht surjektiv ist, nicht rechts aufhebbar ist.

Im Falle von Mengen sei sei ein Element von das nicht zu , und definiere derart, dass ist die Identitätsfunktion, und dass für jede außer, dass ein beliebiges anderes Element von . Offensichtlich nicht rechts aufhebbar ist, da und

Im Fall von Vektorräumen, abelschen Gruppen und Modulen beruht der Beweis auf der Existenz von Kokernen und auf der Tatsache, dass die Nullkarten Homomorphismen sind: Sei sei das Kokernel von , und sei die kanonische Karte, so dass . Sei sei die Nullkarte. Wenn nicht surjektiv ist, , und somit (die eine ist eine Nullkarte, die andere nicht). Daher ist nicht aufhebbar, da (beide sind die Nullabbildung von zu ).

Kernel

Jeder Homomorphismus definiert eine Äquivalenzrelation auf durch wenn und nur wenn . Die Beziehung wird der Kern von . Sie ist eine Kongruenzrelation auf . Die Quotientenmenge kann dann auf natürliche Weise eine Struktur des gleichen Typs erhalten wie auf natürliche Weise erhalten, indem man die Operationen der Quotientenmenge definiert durch , für jede Operation von ist. . In diesem Fall ist das Bild von in unter dem Homomorphismus notwendigerweise isomorph zu ; diese Tatsache ist einer der Isomorphiesätze.

Wenn die algebraische Struktur eine Gruppe für eine bestimmte Operation ist, genügt die Äquivalenzklasse des Identitätselements dieser Operation aus, um die Äquivalenzbeziehung zu charakterisieren. In diesem Fall wird der Quotient durch die Äquivalenzrelation mit bezeichnet (gewöhnlich gelesen als " mod "). Auch in diesem Fall ist es , und nicht , der Kern von . Die Kerne von Homomorphismen eines bestimmten Typs algebraischer Strukturen sind natürlich mit einer gewissen Struktur ausgestattet. Dieser Strukturtyp der Kerne ist im Fall von abelschen Gruppen, Vektorräumen und Modulen derselbe wie die betrachtete Struktur, unterscheidet sich aber in anderen Fällen und hat einen spezifischen Namen erhalten, wie normale Untergruppe für Kerne von Gruppenhomomorphismen und Ideale für Kerne von Ringhomomorphismen (im Fall von nichtkommutativen Ringen sind die Kerne die zweiseitigen Ideale).

Wenn ein Homomorphismus ist, dann ist für jede Untergruppe auch

genannt das Bild von unter , eine Untergruppe von . Speziell wird die Untergruppe

als Bild von bezeichnet. Weiterhin ist für jede Untergruppe auch

genannt das Urbild von unter , eine Untergruppe von . Das Urbild der trivialen Gruppe, d. i. die Untergruppe

wird als Kern von bezeichnet. Sie ist sogar ein Normalteiler.

Definition

Es seien und zwei relationale Strukturen vom gleichen Typ sodass für jedes die Stelligkeit der Relationen und bezeichnet. Eine Abbildung heißt dann eine homomorphe Abbildung, eine Homomorphie oder ein Homomorphismus von nach wenn sie für jedes und für alle die folgende Verträglichkeitseigenschaft besitzt:

Schreibweise:

Da jede Funktion als Relation 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

,

so spricht man von einem starken Homomorphismus.

Formale Sprachtheorie

Homomorphismen werden auch in der Theorie der formalen Sprachen verwendet und oft kurz als Morphismen bezeichnet. Gegebene Alphabete und , eine Funktion derart, dass für alle wird als Homomorphismus auf . Wenn ist ein Homomorphismus auf und die leere Zeichenkette bezeichnet, dann heißt ein -freier Homomorphismus, wenn für alle in .

Ein Homomorphismus auf der die Bedingung für alle erfüllt, wird ein -gleichförmiger Homomorphismus. Wenn für alle (d.h., 1-uniform ist), dann auch eine Kodierung oder eine Projektion genannt.

Die Menge von Wörtern, die aus dem Alphabet gebildete Menge von Wörtern kann man sich als das freie Monoid vorstellen, das durch . Die Operation des Monoids ist hier die Verkettung, und das Identitätselement ist das leere Wort. Aus dieser Perspektive ist ein Sprachhomomorphismus genau ein Monoidhomomorphismus.

Homomorphismen algebraischer Strukturen

Beispiele

Klassisches Beispiel von Homomorphismen sind Homomorphismen zwischen Gruppen. Gegeben seien zwei Gruppen und Eine Funktion

heißt Gruppenhomomorphismus, wenn für alle Elemente gilt:

Aus dieser Bedingung folgt unmittelbar, dass

für die neutralen Elemente und dann

für alle gelten muss sowie, mittels vollständiger Induktion, dass

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

Eigenschaften

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

Homomorphiesatz

Wenn ein Homomorphismus ist, dann induziert einen Isomorphismus

der Quotientengruppe auf .

Homomorphismen relationaler Strukturen

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.

Beispiele

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