Gruppenhomomorphismus

Gruppenhomomorphismus

In der Gruppentheorie betrachtet man spezielle Abbildungen zwischen Gruppen, die man Gruppenhomomorphismen nennt. Ein Gruppenhomomorphismus ist eine strukturerhaltende Abbildung zwischen Gruppen, und damit ein spezieller Homomorphismus.

Inhaltsverzeichnis

Definition

Gegeben seien zwei Gruppen (G, \circ) und (H, \star). Eine Funktion \phi\colon G\to H heißt Gruppenhomomorphismus, wenn für alle Elemente x, y \in G gilt:

\phi(x \circ y) = \phi(x) \star \phi(y).

Die Gleichung besagt, dass der Homomorphismus strukturerhaltend ist: Es ist egal, ob man erst zwei Elemente verknüpft, und das Ergebnis abbildet, oder erst die zwei Elemente abbildet, und dann die Bilder verknüpft.

Aus dieser Definition folgt, dass ein Gruppenhomomorphismus das neutrale Element eG von G auf das neutrale Element eH von H abbildet:

\phi\left(e_G\right)=e_H,

denn wegen

\phi\left(g\right) = \phi\left(g \circ e_G\right) = \phi\left(g\right)\star\phi\left(e_G\right)

ist \phi\left(e_G\right) das neutrale Element in H.

Weiterhin folgt, dass er Inverse auf Inverse abbildet:

\phi\left(y^{-1}\right)={\phi(y)}^{-1} für alle y \in G,

denn es gilt

e_H=\phi\left(e_G\right)=\phi\left(y \circ y^{-1}\right)=\phi\left(y\right) \star \phi\left(y^{-1}\right).

Bild und Kern

Als Bild (engl. image) des Gruppenhomomorphismus f \colon G \to H bezeichnet man die Bildmenge von G unter f:

f(G)=\operatorname{Bild}(f)=\operatorname{im}(f)\colon=\left\{f(u) \mid u\in G \right\}

Der Kern (engl. kernel) von f ist das Urbild des neutralen Elements eH:

f^{-1}(e_H)=\operatorname{Kern}(f)=\operatorname{ker}(f)\colon = \left\{ u \in G \mid f(u) = e_H\right\}


Der Kern von f ist ein Normalteiler von G und das Bild von f ist eine Untergruppe von H.

Genau dann, wenn \operatorname{Kern}(f)=\left\{e_G\right\} gilt (der Kern von f also nur das neutrale Element von G enthält, das immer im Kern liegt), ist f injektiv. Ein injektiver Gruppenhomomorphismus wird auch Gruppen-Monomorphismus genannt.

Beispiele

  • Betrachte die additive Gruppe (\Z, +) der ganzen Zahlen und die Faktorgruppe (\Z/3\Z, +) = {0, 1, 2}. Die Abbildung p\colon \Z \to \Z/3\Z,\ p(z) = z \,\bmod\, 3 = z + 3\Z (siehe Kongruenz und Restklassenring), ist ein Gruppenhomomorphismus. Er ist surjektiv und sein Kern besteht aus der Menge 3\Z aller durch 3 teilbaren ganzen Zahlen. Dieser Homomorphismus wird kanonische Projektion genannt.
  • Die Exponentialfunktion ist ein Gruppenhomomorphismus zwischen der additiven Gruppe (\R, +) der reellen Zahlen \R und der multiplikativen Gruppe \left(\R^*, \cdot\right) der reellen Zahlen ungleich 0, denn \operatorname{exp}(x+y) = \operatorname{exp}(x)\cdot \operatorname{exp}(y). Diese Abbildung ist injektiv, und ihr Bild ist die Menge der positiven reellen Zahlen.
  • Die komplexe Exponentialfunktion ist ein Gruppenhomomorphismus zwischen den komplexen Zahlen \C mit der Addition und den von 0 verschiedenen komplexen Zahlen mit der Multiplikation. Dieser Homomorphismus ist surjektiv und sein Kern ist \operatorname{ker}(\operatorname{exp}) = \left\{ 2\pi k i \colon k \in\Z \right\}, wie man z. B. aus der Eulerschen Identität entnehmen kann.
  • Sind G und H beliebige Gruppen, dann ist die Abbildung h \colon G \to H, die jedes Element auf das neutrale Element von H abbildet, ein Gruppenhomomorphismus. Sein Kern ist ganz G.
  • Für jede Gruppe G ist die identische Abbildung id \colon G \to G, id(x) = x, ein bijektiver Gruppenhomomorphismus.

Verkettung von Gruppenhomomorphismen

Sind h \colon G \to H und k \colon H \to K zwei Gruppenhomomorphismen, dann ist ihre Komposition k\circ h \colon G \to K ebenfalls ein Gruppenhomomorphismus.

Die Klasse aller Gruppen bildet mit den Gruppenhomomorphismen eine Kategorie.

Mono-, Epi-, Iso-, Endo-, Automorphismus

Ein Homomorphismus f \colon G \to H heißt

Ist h \colon G \to H ein Gruppenisomorphismus, dann ist auch seine Umkehrfunktion ein Gruppenisomorphismus, die Gruppen G und H heißen dann zueinander isomorph: Sie unterscheiden sich nur in der Bezeichnung ihrer Elemente und stimmen für fast alle Zwecke überein.

Ist h \colon G \to G ein Gruppenhomomorphismus einer Gruppe in sich selbst, dann heißt er Endomorphismus. Ist er darüber hinaus bijektiv, dann heißt er Automorphismus. Die Menge aller Endomorphismen von G bildet mit der Komposition einen Monoid. Die Menge aller Automorphismen einer Gruppe G bildet mit der Komposition eine Gruppe, die Automorphismengruppe Aut(G) von G.

Die Automorphismengruppe von (Z, *) enthält nur zwei Elemente: Die Identität (1) und die Multiplikation mit −1; sie ist also isomorph zur zyklischen Gruppe C2.

In der additiven Gruppe von Q ist jede lineare Abbildung f\left(x\right) = m\cdot x mit m \neq 0 ein Automorphismus.

Homomorphismen zwischen abelschen Gruppen

Sind G und H abelsche (d. h. kommutative) Gruppen, dann bildet die Menge Hom(G, H) aller Gruppenhomomorphismen von G nach H selbst eine (wiederum abelsche) Gruppe, nämlich mit der „punktweisen Addition“:

\left(h + k\right)\left(x\right) \colon = h\left(x\right)+ k\left(x\right) für alle x \in G.

Die Kommutativität von H benötigt man, damit h + k wieder ein Gruppenhomomorphismus ist.

Die Menge der Endomorphismen einer abelschen Gruppe G bildet mit der Addition eine Gruppe, die als End(G) bezeichnet wird.

Die Addition von Homomorphismen ist in folgendem Sinne verträglich mit der Komposition: Sind f in Hom(K, G), h, k in Hom(G, H), g in Hom(H, L), dann gilt

\left(h + k\right)\circ f = \left(h \circ f\right) + \left(k \circ f\right) und g \circ\left(h + k\right) = \left(g \circ h\right) + \left(g \circ k\right).

Dies zeigt, dass die Endomorphismengruppe End(G) einer abelschen Gruppe sogar einen Ring bildet, den Endomorphismenring von G.

Zum Beispiel ist der Endomorphismenring der Kleinschen Vierergruppe isomorph zum Ring der 2×2-Matrizen über dem Restklassenkörper \mathbb{Z}/2\mathbb{Z}.

Literatur


Wikimedia Foundation.

Игры ⚽ Нужна курсовая?

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

  • Gruppenautomorphismus — In der Gruppentheorie betrachtet man spezielle Abbildungen zwischen Gruppen, die man Gruppenhomomorphismen nennt. Ein Gruppenhomomorphismus ist eine strukturerhaltende Abbildung zwischen Gruppen, und damit ein spezieller Homomorphismus.… …   Deutsch Wikipedia

  • Homomorph — Ein Homomorphismus (aus dem Griechischen, homós : gleich; morphé : Form), ist eine strukturerhaltende Abbildung. Inhaltsverzeichnis 1 Allgemeine mathematische Definition 2 Homomorphismen in einigen algebraischen Strukturen 2.1… …   Deutsch Wikipedia

  • Homomorphie — Ein Homomorphismus (aus dem Griechischen, homós : gleich; morphé : Form), ist eine strukturerhaltende Abbildung. Inhaltsverzeichnis 1 Allgemeine mathematische Definition 2 Homomorphismen in einigen algebraischen Strukturen 2.1… …   Deutsch Wikipedia

  • Monoid-Homomorphismus — Ein Homomorphismus (aus dem Griechischen, homós : gleich; morphé : Form), ist eine strukturerhaltende Abbildung. Inhaltsverzeichnis 1 Allgemeine mathematische Definition 2 Homomorphismen in einigen algebraischen Strukturen 2.1… …   Deutsch Wikipedia

  • Normale Untergruppe — Ein Normalteiler oder eine normale Untergruppe ist in der Gruppentheorie, einem Teilgebiet der Mathematik, eine spezielle Untergruppe einer Gruppe, mit deren Hilfe Faktorgruppen der Gruppe gebildet werden können, wodurch die Strukturuntersuchung… …   Deutsch Wikipedia

  • Normalteilerverband — Ein Normalteiler oder eine normale Untergruppe ist in der Gruppentheorie, einem Teilgebiet der Mathematik, eine spezielle Untergruppe einer Gruppe, mit deren Hilfe Faktorgruppen der Gruppe gebildet werden können, wodurch die Strukturuntersuchung… …   Deutsch Wikipedia

  • Homomorphismus — Ein Homomorphismus (aus dem Griechischen, homós für ‹gleich› und morphé für ‹Form›; nicht zu verwechseln mit Homöomorphismus), ist eine strukturerhaltende Abbildung. Inhaltsverzeichnis 1 Definition 2 Beispiele 2.1 Einfaches Beispiel …   Deutsch Wikipedia

  • Satz von Cayley — Der Satz von Cayley ist ein nach dem englischen Mathematiker Arthur Cayley benannter Satz aus der Algebra. Er besagt, dass man jede Gruppe als Untergruppe einer symmetrischen Gruppe realisieren kann. Dieses Ergebnis spielte für die Entwicklung… …   Deutsch Wikipedia

  • Faktorgruppe — Die Faktorgruppe oder Quotientengruppe ist eine Gruppe, die mittels einer Standardkonstruktion aus einer gegebenen Gruppe G unter Zuhilfenahme eines Normalteilers gebildet wird. Sie wird mit G / N bezeichnet. Inhaltsverzeichnis 1 Konstruktion 2 …   Deutsch Wikipedia

  • Gruppenoperation — Durch eine Gruppenoperation, aktion oder wirkung werden in der Mathematik die Elemente einer Gruppe so mit Selbstabbildungen einer Menge identifiziert, dass dabei immer das Produkt zweier Gruppenelemente mit der Hintereinanderausführung der… …   Deutsch Wikipedia

Share the article and excerpts

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