Gruppenisomorpismen/Automorphismus/Einführung/Textabschnitt

Definition

Es seien $G$ und $H$ Gruppen. Einen bijektiven Gruppenhomomorphismus

$\phi :G⟶H$

nennt man einen Isomorphismus (oder eine Isomorphie).

Bijektive lineare Abbildungen sind insbesondere Gruppenisomorphismen.

Definition

Die Gruppen $H$ und $G$ heißen isomorph, wenn es einen Gruppenisomorphismus $\phi :G\to H$ gibt.

Lemma

Es seien $G$ und $H$ Gruppen und sei

$\phi :G⟶H$

ein Gruppenisomorphismus.

Dann ist auch die Umkehrabbildung

${\phi }^{-1}:H⟶G,h⟼{\phi }^{-1}(h),$

ein Gruppenisomorphismus.

Beweis

Dies folgt aus

$\begin{array}{cc}{\phi }^{-1}\left(h_1{h}_2\right)& ={\phi }^{-1}\left(\phi \left({\phi }^{-1}\left(h_1\right)\right)\phi \left({\phi }^{-1}\left(h_2\right)\right)\right)\\ & ={\phi }^{-1}\left(\phi \left({\phi }^{-1}\left(h_1\right){\phi }^{-1}\left(h_2\right)\right)\right)\\ & ={\phi }^{-1}\left(h_1\right){\phi }^{-1}\left(h_2\right).\end{array}$

$◻$

Beispiel

Betrachte die additive Gruppe der reellen Zahlen, also $(ℝ,0,+)$, und die multiplikative Gruppe der positiven reellen Zahlen, also $({ℝ}_{+},1,\cdot )$. Dann ist die Exponentialabbildung

$\exp :ℝ⟶{ℝ}_{+},x⟼\exp (x),$

ein Gruppenisomorphismus. Dies beruht auf grundlegenden analytischen Eigenschaften der Exponentialfunktion. Die Homomorphieeigenschaft ist lediglich eine Umformulierung der Funktionalgleichung der Exponentialfunktion

$\exp (x+y)=e^{x+y}=e^x{e}^y=\exp (x)\exp (y).$

Die Injektivität der Abbildung folgt aus der strengen Monotonie, die Surjektivität folgt aus dem Zwischenwertsatz. Die Umkehrabbildung ist der natürliche Logarithmus, der somit ebenfalls ein Gruppenisomorphismus ist.

Isomorphe Gruppen sind bezüglich ihrer gruppentheoretischen Eigenschaften als gleich anzusehen. Isomorphismen einer Gruppe auf sich selbst nennt man auch Automorphismen. Die Menge aller Automorphismen auf $G$ bildet mit der Hintereinanderschaltung eine Gruppe, die man mit $\mathrm{Aut}G$ bezeichnet und die die Automorphismengruppe zu $G$ nennt. Wichtige Beispiele für Automorphismen sind die sogenannten inneren Automorphismen.

Definition

Es sei $G$ eine Gruppe und  $g\in G$  fixiert. Die durch $g$ definierte Abbildung

${\kappa }_g:G⟶G,x⟼gx{g}^{-1},$

heißt innerer Automorphismus.

Diese Abbildung ${\kappa }_g$ heißt auch die Konjugation mit $g$. Wenn $G$ eine kommutative Gruppe ist, so ist wegen  $gx{g}^{-1}=xg{g}^{-1}=x$  die Identität der einzige innere Automorphismus. Der Begriff ist also nur bei nicht kommutativen Gruppen von Interesse.

Beispiel

Zu einer fixierten invertierbaren Matrix  $B\in {\mathrm{GL}}_n\left(K\right)$  ist die Konjugation

${\kappa }_B:{\mathrm{GL}}_n\left(K\right)⟶{\mathrm{GL}}_n\left(K\right),M⟼BM{B}^{-1},$

gerade diejenige Abbildung, die der beschreibenden Matrix $M$ zu einer linearen Abbildung bezüglich einer Basis die beschreibende Matrix bezüglich einer neuen Basis zuordnet.

Lemma

Ein innerer Automorphismus ist in der Tat

ein Automorphismus.

Die Zuordnung

$G⟶\mathrm{Aut}G,g⟼{\kappa }_g,$

ist ein Gruppenhomomorphismus.

Beweis

Es ist

${\kappa }_g(xy)=gxy{g}^{-1}=gx{g}^{-1}gy{g}^{-1}={\kappa }_g(x){\kappa }_g(y),$

sodass ein Gruppenhomomorphismus vorliegt. Wegen

${\kappa }_g({\kappa }_h(x))={\kappa }_g(hx{h}^{-1})=ghx{h}^{-1}{g}^{-1}=ghx(gh{)}^{-1}={\kappa }_{gh}(x)$

ist einerseits

${\kappa }_{g^{-1}}\circ {\kappa }_g={\kappa }_{g^{-1}g}={\mathrm{Id}}_G,$

sodass ${\kappa }_g$ bijektiv, also ein Automorphismus, ist. Andererseits ist deshalb die Gesamtabbildung $\kappa$ ein Gruppenhomomorphismus.

$◻$