Automorphismus

In der Mathematik ist ein Automorphismus (von griechisch αὐτός auto selbst und griechisch μορφή morph Gestalt, Form) eine Abstraktion des Symmetriebegriffs.

Inhaltsverzeichnis

Von Symmetrien zu Automorphismen

Ein gleichseitiges Dreieck hat drei Symmetrieachsen:

Equilateral triangle axes of symmetry.svg

Außerdem verfügt es über eine dreizählige Drehsymmetrie. Um die Symmetrieeigenschaft mathematisch zu fassen, betrachtet man die zugehörigen Symmetrieabbildungen. Zu jeder Symmetrieachse gehört die Spiegelung an der Achse:

Equilateral triangle vertical axis of symmetry.svg

Die Ziffern dienen nur dazu, die Abbildung zu beschreiben, es ist zweimal dasselbe Dreieck. Symmetrieabbildungen können nacheinander ausgeführt werden. Im folgenden Beispiel ist die Hintereinanderausführung zweier Spiegelungen eine Drehung um 120°:

Equilateral triangle composition of symmetries.svg

Führt man zweimal dieselbe Spiegelung nacheinander aus, erhält man insgesamt die Abbildung, die nichts verändert, die identische Abbildung. Wenn die Hintereinanderausführung zweier Symmetrieabbildungen wieder eine Symmetrieabbildung sein soll, muss man also die identische Abbildung zulassen. Eine Figur ist unsymmetrisch, wenn sie nur diese eine, triviale Symmetrieabbildung zulässt. Die Gesamtheit der Symmetrieabbildungen bildet eine Gruppe, die Symmetriegruppe.

In der Mathematik betrachtet man häufig Objekte, die aus einer Grundmenge G und einer Zusatzstruktur S bestehen, und in der Regel gibt es eine kanonische Konstruktion, die aus der Zusatzstruktur S auf G und einer Bijektion f:G\to H eine Struktur Sf auf H erzeugt. Insbesondere ist das für Bijektionen G\to G möglich.

Auf das Symmetriebeispiel übertragen entspricht G der Ebene und S dem Dreieck. Für eine Kongruenzabbildung f:G\to G ist Sf das Bilddreieck. Symmetrieabbildungen zeichnen sich durch S = Sf aus. Im abstrakten Kontext nennt man Bijektionen f:G\to G, die S = Sf erfüllen, Automorphismen von (G,S). Diese Definition deckt die meisten Fälle ab, seien es Graphen, topologische Räume oder algebraische Strukturen wie Vektorräume.

Werden die Zusatzstrukturen komplizierter, kann die harmlos erscheinende Bedingung S = Sf Probleme bereiten: Definiert man differenzierbare Mannigfaltigkeiten als Grundmengen mit Topologie und einem Atlas A, erhält man unter Umständen unter einem Homöomorphismus f einen kompatiblen, aber nicht identischen Atlas Af. Würde man aber in der Definition einen maximalen Atlas fordern, wäre A = Af für ein solches f.

Die Kategorientheorie löst dieses und andere Probleme dadurch, dass sie eine bereits vorhandene Definition für strukturkompatible Abbildungen voraussetzt (Morphismen; es muss sich nicht um tatsächliche Abbildungen handeln). Darauf aufbauend ersetzt sie die Forderung der Bijektivität (die im abstrakten Kontext nicht mehr zur Verfügung steht) durch die Existenz eines inversen Morphismus.

Definition

Algebraische Strukturen

Sei (A,(fi)) eine algebraische Struktur, also eine Menge A zusammen mit einer endlichen Anzahl an Verknüpfungen (fi). Eine solche algebraische Struktur könnte beispielsweise ein Vektorraum (A, (+, \cdot)), eine Gruppe (A, * ) oder ein Ring (A,( + , * )) sein. Dann versteht man in der Algebra unter einem Automorphismus \phi \colon A \to A eine bijektive Abbildung der Menge A auf sich selbst, die linear (beziehungsweise homomorph) ist, das heißt es gilt

\phi\left(f_i(a_1,\ldots,a_{\sigma_i})\right) = f_i(\phi(a_1),\ldots,\phi(a_{\sigma_i}))

für alle a_1, \ldots , a_{\sigma_i} \in A. Die Umkehrfunktion \phi^{-1} : A \to A ist unter diesen Umständen automatisch linear.

Kategorientheorie

Sei X ein Objekt. Ein Morphismus f\colon X\to X heißt ein Automorphismus, wenn er ein beidseitiges Inverses g\colon X\to X besitzt. Das heißt falls ein g\colon X\to X existiert, so dass

f\circ g=\operatorname{id}_X und g\circ f=\operatorname{id}_X

gilt.

Ein Automorphismus ist damit dasselbe wie

Für algebraische Strukturen ist die Definition äquivalent zu der im vorherigen Abschnitt.

Automorphismengruppe

  • Die Menge aller Automorphismen eines Objekts X bildet mit der Verkettung als Verknüpfung eine Gruppe, die mit Aut(X) bezeichnet wird.
  • Ist G eine Gruppe, nennt man einen Homomorphismus G\to\mathrm{Aut}(X) eine Gruppenoperation von G auf X.
  • Ist F:C\to D ein kovarianter Funktor und X ein Objekt von C, so induziert F einen Gruppenhomomorphismus \mathrm{Aut}(X)\to\mathrm{Aut}(F(X)). (Für kontravariante Funktoren muss man noch mit der Inversion f\mapsto f^{-1} verketten.) Ist eine Gruppenoperation von G auf X gegeben, so erhält man auf diesem Wege eine Operation von G auf F(X).

Spezielle Strukturen

Graphen

Allgemeines

Ein Automorphismus eines Graphen G = (V,E) mit Knotenmenge V und Kantenmenge E ist eine bijektive Abbildung \phi:V\to V, so dass \{v_1,v_2\}\in E\iff\{\phi(v_1),\phi(v_2)\}\in E für alle v_1,v_2\in V gilt.

Ein Automorphismus eine Graphen induziert einen Automorphismus des Komplementgraphen.

Der Satz von Frucht besagt, dass zu jeder Gruppe Γ ein Graph G existiert, so dass Aut(G) isomorph zu Γ ist.

Beispiel

Sei V = {1,2,3,4} und E = {{1,2},{3,4}}:

Graph 1-2 3-4.svg

Automorphismen von G = (V,E) sind Permutationen von V, so dass die Anwendung der Permutation auf das Diagramm wieder eine Veranschaulichung desselben Graphen ergibt. Beispiel: Die Permutation \begin{pmatrix}1&2&3&4\\4&3&1&2\end{pmatrix} ist ein Automorphismus, weil die Kanten nach wie vor zwischen 1 und 2 sowie zwischen 3 und 4 verlaufen:

Graph 4-3 1-2.svg

Die Permutation \begin{pmatrix}1&2&3&4\\1&3&2&4\end{pmatrix} ist kein Automorphismus, weil die Kanten im neuen Bild {1,3} und {2,4} sind:

Graph 1-3 2-4.svg

Die Automorphismengruppe des Graphen ist isomorph zur Diedergruppe der Ordnung 8, sein Komplement ist ein 4-Zyklus.

Vektorräume

Ein Automorphismus eines Vektorraums V ist eine bijektive lineare Abbildung V\to V.

Für endlichdimensionale Vektorräume V sind Automorphismen genau diejenigen lineare Abbildungen V\to V, deren Abbildungsmatrix bezüglich einer beliebigen Basis regulär ist. Die Automorphismengruppe wird häufig als GL(V) notiert.

Gruppen

Allgemeines

Ein Automorphismus einer Gruppe G ist ein bijektiver Gruppenhomomorphismus, das heißt eine bijektive Abbildung \phi \colon G\to G mit ϕ(gh) = ϕ(g)ϕ(h) für alle g,h\in G.

Automorphismen erhalten alle Eigenschaften und Konstruktionen, die mit Hilfe des Gruppengesetzes charakterisiert werden können. Beispiele: Jeder Automorphismus induziert einen Automorphismus des Zentrums, erhält die Ordnung von Elementen (d.h. o(ϕ(g)) = o(g)) und bildet Erzeugendensysteme auf Erzeugendensysteme ab.

Innere Automorphismen

Ist G eine Gruppe und h\in G fest, dann ist i_h:G\to G, ih(g) = hgh − 1 ein Automorphismus von G, genannt Konjugation mit h. Automorphismen, die auf diesem Weg entstehen, heißen innere Automorphismen. Weil h\mapsto i_h ein Homomorphismus G\to\mathrm{Aut}(G) ist und ih genau dann der triviale Automorphismus ist, wenn h im Zentrum von G liegt, ist die Menge Inn(G) aller inneren Automorphismen eine zu G / Z(G) isomorphe Untergruppe von Aut(G). Sie ist sogar ein Normalteiler in Aut(G), und die Faktorgruppe wird mit Out(G) bezeichnet. Die Einschränkung auf das Zentrum liefert einen Homomorphismus \mathrm{Out}(G)\to\mathrm{Aut}(Z(G)).

Für abelsche Gruppen sind alle inneren Homomorphismen trivial, und Aut(G) = Out(G).

Für eine Untergruppe H\subseteq G erhält man durch Einschränkung der inneren Automorphismen einen injektiven Homomorphismus N_G(H)/Z_G(H)\to\mathrm{Aut}(H). Siehe Normalisator und Zentralisator.

Beispiele

  • Die bijektive Abbildung G\to G, g\mapsto g^{-1}, ist genau dann ein Homomorphismus und damit ein Automorphismus, wenn G abelsch ist.
  • Die Gruppe \Z hat genau einen nichttrivialen Automorphismus, nämlich x\mapsto -x. Das folgt daraus, dass ein Automorphismus ein Erzeugendensystem auf ein Erzeugendensystem abbildet.
  • Die Automorphismengruppe der kleinschen Vierergruppe ist isomorph zur symmetrischen Gruppe S3.
  • Die Automorphismengruppe der Gruppe (\Q,+) ist \Q^* (durch Multiplikation), die Automorphismengruppe der Gruppe (\Q^*,\cdot) ist überabzählbar.
  • Der Automorphismus A\mapsto (A^T)^{-1} von \mathrm{GL}_n(\R) ist kein innerer Automorphismus, weil seine Einschränkung auf das Zentrum, die Untergruppe der Skalarmatrizen, nicht trivial ist.

Verwandte Themen

Körper

Ein Automorphismus eines Körpers K ist eine bijektive Abbildung \phi:K\to K, die ϕ(x + y) = ϕ(x) + ϕ(y) und ϕ(xy) = ϕ(x)ϕ(y) für alle x,y\in K erfüllt. Ist L / K eine Körpererweiterung, dann nennt man diejenigen Automorphismen ϕ von L, die ϕ(x) = x für alle x\in K erfüllen, die K-Automorphismen von L. Sie bilden eine Gruppe, notiert AutK(L) oder Aut(L / K). Ein Automorphismus von L ist genau dann ein K-Automorphismus, wenn er eine K-lineare Abbildung ist.

  • Die Konjugation a+bi\mapsto a-bi für a,b\in\R ist ein \R-Automorphismus des Körpers \C der komplexen Zahlen.
  • Der Körper der reellen Zahlen besitzt keine nichttrivialen Automorphismen.
  • Ist K ein endlicher oder allgemeiner perfekter Körper der Charakteristik p > 0, dann ist x\mapsto x^p ein Automorphismus von K, der Frobeniusautomorphismus.
  • Ist L ein Körper und G\subseteq\mathrm{Aut}(L) eine endliche Untergruppe, dann ist K=\{x\in L|\forall\sigma\in G:\sigma(x)=x\} ein Unterkörper von K mit [L:K] = | G | , und L / K ist eine Galoiserweiterung. Die Galoistheorie stellt weitere Verbindungen zwischen Körpererweiterungen und Automorphismengruppen her.

Algebren

Für Algebren kann man wie bei Gruppen innere Automorphismen als Konjugation mit einer Einheit definieren. Innere Automorphismen sind trivial auf dem Zentrum, und der Satz von Skolem-Noether besagt, dass für eine halbeinfache Algebra auch die Umkehrung gilt.

Funktionentheorie

In der Funktionentheorie sind die Morphismen die holomorphen Funktionen und die Automorphismen die konformen Selbstabbildungen. Die Automorphismengruppe bspw. der offenen Einheitskreisscheibe \mathbb{E} ist gegeben durch:

\operatorname{Aut}(\mathbb{E}) = \left\{ \varphi:\mathbb{E}\to\mathbb{E} \; \mid \; \varphi(z)=\lambda\frac{z-a}{\bar{a}z-1} : \lambda\in\partial\mathbb{E}, a\in\mathbb{E} \right\}

Literatur


Wikimedia Foundation.

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

  • Automorphismus — Automorphịsmus   der, /...men, Mathematik: isomorphe Abbildung (Isomorphismus) einer algebraischen Struktur (z. B. Gruppe, Ring) auf sich selbst, d. h., die Elemente der Struktur treten selbst wieder als Bildelemente auf. Die Automorphismen… …   Universal-Lexikon

  • Automorphismus — Au|to|mor|phis|mus der; , ...men <zu ↑...ismus> spezielle Zuordnung der Elemente einer ↑algebraischen Struktur innerhalb der gleichen algebraischen Struktur (Math.); vgl. ↑Homomorphismus …   Das große Fremdwörterbuch

  • Innerer Automorphismus — Die Konjugationsoperation ist eine Gruppenoperation, die eine Gruppe in Konjugationsklassen zerlegt. Die Elemente einer Konjugationsklasse haben viele Gemeinsamkeiten, sodass eine nähere Betrachtung dieser Klassen wichtige Einblicke in die… …   Deutsch Wikipedia

  • Automorphismen — In der Mathematik ist ein Automorphismus ein Isomorphismus einer Struktur auf sich selbst. Inhaltsverzeichnis 1 Definition 1.1 Warnhinweis 2 Beispiele 2.1 Automorphismen von Gruppen 2.2 …   Deutsch Wikipedia

  • Automorphismengruppe — In der Mathematik ist ein Automorphismus ein Isomorphismus einer Struktur auf sich selbst. Inhaltsverzeichnis 1 Definition 1.1 Warnhinweis 2 Beispiele 2.1 Automorphismen von Gruppen 2.2 …   Deutsch Wikipedia

  • Auflösbar — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Charakteristische Untergruppe — In der Gruppentheorie ist eine charakteristische Untergruppe einer Gruppe G eine Untergruppe H, die unter jedem Automorphismus von G fest bleibt. Das heißt, eine Untergruppe H von G heißt charakteristisch, wenn für jeden Automorphismus… …   Deutsch Wikipedia

  • Endliche Galoiserweiterung — In der abstrakten Algebra ist ein Unterkörper eines Körpers L eine Teilmenge , die 0 und 1 enthält und mit den auf K eingeschränkten Verknüpfungen selbst ein Körper ist. L wird dann Oberkörper von K genannt. Das Paar L und K bezeichnet man als… …   Deutsch Wikipedia

  • Erweiterungskörper — In der abstrakten Algebra ist ein Unterkörper eines Körpers L eine Teilmenge , die 0 und 1 enthält und mit den auf K eingeschränkten Verknüpfungen selbst ein Körper ist. L wird dann Oberkörper von K genannt. Das Paar L und K bezeichnet man als… …   Deutsch Wikipedia

  • Euklidisch — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

Share the article and excerpts

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