Homomorphismen und Isomorphismen

Sind $(G$₁,*₁) und $(G$₂,*₂) Gruppoide, so bezeichnet man eine Abbildung $f\; :\; G$₁ -> G₂ als Homomorphismus von $(G$₁,*₁) in $(G$₁,*₂), wenn für alle $a$ und $b$ aus $G$₁ gilt

(1)

Ist diese Abbildung bijektiv (injektiv, surjektiv), so spricht man von einem Isomorphismus (Monomorphismus, Epimorphismus). Stimmen für einen Isomorphismus die beiden Gruppoide $(G$₁,*₁) und $(G$₂,*₂) überein, so nennt man ihn einen Automorphismus. Ein triviales Beispiel hierfür ist stets die identische Abbildung auf $G$₁ = G₂.

Weniger triviale Beispiele sind für jede Gruppe $(G,*)$ die inneren Automorphismen: Ist $a$ ein Element von $G$, so ist der zu $a$ gehörende innere Automorphismus $f$_a : G -> G definiert durch $f$_a(x) = a*x*a^-1 für alle $x$ aus $G$. Die Bedingung (1) ist nämlich aus den Eigenschaften der Gruppe $(G,*)$ leicht herleitbar und die Bijektivität von $f$_a ergibt sich sofort aus $f$_a^-1 = f_a^-1. Weiterhin ist $f$_a genau für die Elemente $a$ des Zentrums von $(G,*)$ die identische Abbildung. Die Nacheinanderanwendung von zwei inneren Automorphismen ist wieder ein innerer Automorphismus wegen $b(axa-1)b-1=\; (ba)x(ba)-1$ für alle $x,\; a,\; b$ aus $G$. Daher bildet die Gesamtheit $Inn(G)$ aller inneren Automorphismen eine Gruppe $(Inn(G),o)$.

Aus (1) ergibt sich sofort, daß für jedes idempotente Element $e\; =\; e*$₁e von $(G$₁,*₁), das Bild $f(e)$ idempotent in $(G$₂,*₂) ist. Da in jeder Gruppe das Einselement das einzige idempotente Element ist, wird bei jedem Homomorphismus zwischen Gruppen, das Einselement wieder auf das Einselement abgebildet. Diese Aussage ist für Monoide nicht mehr richtig und man muß die Definition des Homomorphismus für Monoide (und erst recht für Loops) durch die Forderung

(2)

für die betreffenden Einselemente ergänzen.

Es ist leicht nachzurechnen, daß die Nacheinanderanwendung von Homomorphismen (Isomorphismen) wieder ein Homomorphismus (Isomorphismus) ist. Ebenso einfach folgt, daß die Umkehrabbildung eines Isomorphismus wieder ein Isomorphismus ist. Man bezeichnet daher zwei Gruppoide als isomorph zueinander, wenn es einen Isomorphismus zwischen ihnen gibt. Offensichtlich haben zwei isomorphe Gruppoide dieselbe Ordnung.

Die Menge $Aut(G)$ aller Automorphismen eines beliebigen Gruppoids $(G,*)$ bilden daher bezüglich der Nacheinanderanwendung eine Gruppe, die Automorphismengruppe $(Aut(G),o)$ von $(G,*)$, die also eine Untergruppe der symmetrischen Gruppe $(S$_G,o) ist.

Beispiele für Homomorphismen