Präsentation einer Gruppe

Präsentation einer Gruppe

In der Mathematik ist die Präsentation einer Gruppe gegeben durch eine Liste von Elementen, die die Gruppe erzeugen, und eine Liste von Relationen, die zwischen diesen Erzeugern bestehen. Zum Beispiel wird die zyklische Gruppe der Ordnung n erzeugt von einem Element g mit der Relation gn = 1. Eine solche Präsentation nennt man daher auch Darstellung durch Erzeuger und Relationen. Ausführlicher bedeutet dies folgendes:

  • Jedes Element der Gruppe lässt sich schreiben als Produkt der angegebenen Erzeuger (sowie ihrer Inversen).
  • Je zwei solche Schreibweisen desselben Elements unterscheiden sich nur durch die angegebenen Relationen (und ihre Konsequenzen).

Jede Gruppe lässt sich auf diese Weise präsentieren, und somit sind Präsentationen ein universelles Werkzeug um Gruppen zu konstruieren und zu untersuchen. Viele unendliche Gruppen erlauben eine endliche Präsentation und damit eine effiziente Beschreibung. Die kombinatorische Gruppentheorie untersucht Gruppen mit Hilfe ihrer Präsentationen und stellt hierzu umfangreiche Techniken zur Verfügung.

Inhaltsverzeichnis

Motivation und Geschichte

Um in einer Gruppe praktisch zu rechnen, ist es oft hilfreich, sich auf eine geschickt gewählte Menge von Erzeugern zu stützen. Dies gilt insbesondere, wenn die Gruppe groß und kompliziert ist (oder gar unendlich), aber erzeugt wird von einer kleinen, übersichtlichen Menge (im besten Falle endlich). Die entsprechende Idee für Vektorräume über einem Körper führt zum Begriff der Basis, der wesentlich für die lineare Algebra ist.

Für beliebige Gruppen kann man im Allgemeinen keine so einfache Struktur erwarten: Um die Rechenregeln in der Gruppe festzulegen, muss man die Relationen zwischen den Erzeugern angeben. Diese hängen von der betrachteten Gruppe ab und können beliebig kompliziert sein. In diesem praktischen Sinne wurde das Konzept der Präsentation schon seit den Anfängen der Gruppentheorie verwendet, wenn auch zunächst ohne präzise Definition. Rechnungen mit Erzeugern und Relationen finden sich in der zweiten Hälfte des 19. Jahrhunderts zum Beispiel in den Arbeiten von Arthur Cayley, Henri Poincaré und Walther von Dyck. Erst im 20. Jahrhundert wurde die Praxis der endlich präsentierten Gruppen zu einer Theorie ausgebaut, der kombinatorischen Gruppentheorie, die maßgeblich von Max Dehn initiiert wurde.

Einführende Beispiele

Den einfachsten Fall einer Präsentation erhält man für die Gruppe C = (\Z,+) der ganzen Zahlen mit ihrer Addition. Diese Gruppe kann von einem einzigen Element s erzeugt werden, nämlich s = 1 oder s = − 1. In diesem Fall bestehen keine Relationen, und dies schreibt man als

C = \langle s \mid - \rangle .

Jedes Element von C schreibt sich eindeutig als sk mit k \in \Z. In Abwesenheit jeglicher Relationen spricht man auch von der freien Gruppe über den gegebenen Erzeugern.

Fügen wir nun die Relation sn = 1 ein, wobei n \ge 1, so erhalten wir die Gruppe

C_n = \langle s \mid s^n=1 \rangle

Auch hier lässt sich jedes Element von Cn schreiben als sk mit k \in \Z. Es gilt jedoch zudem sn = 1, und als Konsequenz sk = sk + n für alle k. Daraus folgt, dass die Gruppe C_n = \{ s,s^2,s^3,\dots,s^n=1 \} genau n Elemente hat. Man nennt sie die zyklische Gruppe der Ordnung n, und sie ist isomorph zu \Z/n.

Universelle Konstruktion

Wenn man sich beliebige Erzeuger S und Relationen R vorgibt, dann ist zunächst nicht klar, ob und wie dadurch eine Gruppe definiert werden kann. Die folgende Konstruktion löst dieses Problem, indem sie die dargestellte Gruppe \langle S \mid R \rangle als Quotienten einer freien Gruppe definiert:

Gegeben sei eine Menge S, deren Elemente wir im Folgenden als Erzeuger verwenden wollen. Es sei F = F(S) die freie Gruppe über S. Diese besteht aus allen reduzierten Wörtern s_1^{e_1} s_2^{e_2} \cdots s_n^{e_n} mit Faktoren s_1,s_2,\dots,s_n \in S, wobei s_i \ne s_{i+1} für alle i, und Exponenten e_1,e_2,\dots,e_n \in \Z, wobei e_i \ne 0 für alle i. Ferner sei R \subset F eine Menge von solchen Wörtern über S. Wir bezeichnen mit RF die Menge aller konjugierten Elemente rx wobei r \in R und x \in F. Es sei K = \langle R^F \rangle die von der Menge RF erzeugte Untergruppe von F. Man nennt K die Menge aller Konsequenzen der Relationen R.

Nach Konstruktion ist K ein Normalteiler der freien Gruppe F. Wir erhalten demnach als Quotient eine Gruppe

\langle S \mid R \rangle := F / K

und nennen diese die Gruppe mit Erzeugern S und Relationen R. Genauer nennt man das Paar (S,R) die Präsentation, und \langle S \mid R \rangle die durch (S,R) präsentierte Gruppe.

Sprechweise

In obiger Konstruktion betrachtet man die Elemente von S üblicherweise als Elemente der Gruppe \langle S \mid R \rangle. Formal gesehen sind sie aber Elemente der freien Gruppe F = F(S) und nicht des Quotienten F / K. Es ist dennoch oft bequemer sie mittels des Quotientenhomomorphismus \varphi \colon F \to F/K als Erzeuger von F / K zu betrachten. Wenn keine Verwechslungen zu befürchten sind, unterscheidet man daher nicht zwischen dem Element s \in S und seinem Bild \bar{s} = \varphi(s) in F / K.

Schreibweisen

Sind S = \{s_1,s_2,\dots,s_m\} und R = \{r_1,r_2,\dots,r_n\} endliche Mengen, so nennt man die Präsentation (S,R) endlich. In diesem Falle schreibt man die so präsentierte Gruppe \langle S \mid R \rangle auch einfach \langle s_1,s_2,\dots,s_m \mid r_1,r_2,\dots,r_n \rangle.

Oft schreibt man eine Relation r \in F auch in der Form r = 1, um zu betonen, dass diese im Quotienten F / K auf das neutrale Element 1 abgebildet wird. Etwas allgemeiner benutzt man die bequemere Schreibweise u = v anstelle der Relation uv − 1 = 1.

Universelle Eigenschaft

Sei S eine Menge und sei R \subset F(S) eine Menge von Wörter über S. Die so präsentierte Gruppe \langle S \mid R \rangle hat folgende universelle Eigenschaft:

Zu jeder Abbildung f \colon S \to G in eine Gruppe G, die die Bedingung f(R) = {1} erfüllt, existiert genau ein Gruppenhomomorphismus h \colon \langle S \mid R \rangle \to G, der f fortsetzt, also h(\bar{s}) = f(s) für alle s \in S erfüllt.

Anders gesagt, die Gruppe \langle S \mid R \rangle ist die „freiest mögliche“ von S erzeugte Gruppe unter den vorgegebenen Relationen R. Diese universelle Abbildungseigenschaft ist zu der eingangs gegebenen Definition äquivalent. Jede der beiden Charakterisierungen kann also als Definition der Gruppe \langle S \mid R \rangle verwendet werden, und in der Literatur finden sich beide Zugänge. Die jeweils andere Charakterisierung ist dann eine Folgerung.

Präsentation einer gegebenen Gruppe

Ist eine Gruppe G gegeben, so können wir ein Erzeugendensystem (g_i)_{i \in I} von Elementen g_i \in G wählen. Die freie Gruppe F = F(S) über S = \{ s_i \mid i \in I \} erlaubt dann einen surjektiven Gruppenhomomorphismus h \colon F \to G mit h(si) = gi für alle i \in I. Als zweites können wir nun eine Teilmenge R = \{ r_j \mid j \in J \} wählen, die der Kern K = ker(h) als normale Untergruppe erzeugt. Damit erhalten wir einen Gruppenisomorphismus \langle S \mid R \rangle = F/K \to G. Dieser präsentiert die gegebene Gruppe G durch die Erzeuger (g_i)_{i \in I} und die zwischen ihnen bestehenden Relationen (r_j)_{j \in J}. Man beachte dabei den Kunstgriff, dass die Relationen rj in den freien Erzeugern si ausgedrückt werden, die hier als Variablen oder Platzhalter für die eigentlichen Gruppenelemente (g_i)_{i \in I} in G dienen.

Wenn man ein endliches Erzeugendensystem S wählen kann, dann heißt G endlich erzeugt. Wenn man zudem eine endliche Menge R von Relationen wählen kann, dann heißt G endlich präsentiert.

Beispiele

Verknüpfungstafel einer endlichen Gruppe

Hauptartikel: endliche Gruppe

Ist (G,\cdot) eine endliche Gruppe der Ordnung n, so können wir ihre Verknüpfungstafel als eine Präsentation durch n Erzeuger und n2 Relationen interpretieren. Die Erzeuger sind hierbei die Elemente a,b,c,\dots der gegebenen Gruppe G, und jedes Produkt a \cdot b = c definiert eine Relation abc − 1 in der freien Gruppe über G. Im Allgemeinen erlaubt G jedoch auch viel kürzere Präsentationen, wie die nachfolgenden Beispiele zeigen.

Zyklische Gruppen

Hauptartikel: zyklische Gruppe

Die Präsentationen \Z = \langle s \mid - \rangle und \Z/n = \langle s \mid s^n=1 \rangle wurden oben bereits als einführende Beispiele vorgestellt. Jede Präsentation mit nur einem Erzeuger definiert eine hierzu isomorphe Gruppe.

Präsentationen mit zwei Erzeugern können hingegen bereits überraschend kompliziert sein. Zwei besonders einfache Beispiel sind durch die Diedergruppe und die Quaternionengruppe gegeben.

Diedergruppen

Hauptartikel: Diedergruppen

Die Diedergruppe Dn der Ordnung 2n ist die Isometriegruppe eines regelmäßigen n-Ecks in der Ebene. Sie wird erzeugt von zwei benachbarten Spiegelungen s0,s1 und man erhält so die Präsentation

 D_n = \langle s_0,s_1 \mid s_0^2 = s_1^2 = (s_0 s_1)^n = 1 \rangle .

Quaternionengruppen

Hauptartikel: Quaternionengruppe

Die verallgemeinerte Quaternionengruppe Q4n der Ordnung 4n für n \ge 2 ist gegeben durch die Präsentation

Q_{4n} = \langle x,y \mid x^{2n} = 1,x^n = y^2, y x y^{-1} = x^{-1} \rangle.

Für n = 2 erhält man hieraus die Hamiltonsche Quaternionengruppe Q_8 = \{\pm 1, \pm i, \pm j, \pm k\} mit der Verknüpfung

i \cdot i = j \cdot j = k \cdot k = i \cdot j \cdot k = -1.

In diesem Fall ist die Schreibweise i = x und j = y und k = xy sowie x2 = y2 = − 1 historisch üblich.

Symmetrischen Gruppen

Hauptartikel: symmetrische Gruppe

Die symmetrische Gruppe Sn wird von den Transpositionen ti = (i,i + 1) erzeugt, wobei i=1,2,\dots,n-1. Man rechnet direkt nach, dass zwischen diesen Erzeugern folgende Relationen gelten:

  • t_i^2 = 1 für alle i
  • titj = tjti falls |i-j| \ge 2
  • titjti = tjtitj falls | ij | = 1

Die so präsentierte Gruppe

G = \left\langle s_1,s_2,\dots,s_{n-1} \Big| \begin{matrix} s_i^2 = 1 \mbox{ für } i=1,2,\dots,n-1 \\ s_i s_j = s_j s_i \text{ falls } |i-j| \ge 2 \\ s_i s_j s_i = s_j s_i s_j \text{ falls } |i-j| = 1 \end{matrix}\right\rangle

erlaubt demnach einen surjektiven Gruppenhomomorphismus G \to S_n vermöge s_i \mapsto t_i. Es ist zunächst nicht offensichtlich, dass dieser auch injektiv ist, dass die angegebenen Relationen bereits alle Relationen erzeugen. Man kann jedoch mit Hilfe der obigen Relationen zeigen, dass G höchstens n! Elemente enthält, und damit gilt G \cong S_n.

Man beachte, dass man wegen s_i^2=1 die obigen Relationen auch umschreiben kann als

  • (sisj)2 = 1 für |i-j| \ge 2,
  • (sisj)3 = 1 für | ij | = 1.

Auch diese äquivalente Schreibweise ist in der Literatur häufig zu finden.

Coxeter-Gruppen

Spiegelungsgruppen sind solche Gruppen, die von Spiegelungen, das heißt Elementen der Ordnung 2, erzeugt werden. Spiegelungsgruppen spielen eine wichtige Rolle in der klassischen Geometrie, zum Beispiel bei der Klassifikation regulärer Polyeder. Sie wurden vom britischen Mathematiker H.S.M. Coxeter eingehend studiert, zu dessen Ehren sie auch Coxeter-Gruppen genannt werden.

Um alle Relationen einer solchen Gruppe übersichtlich aufzuschreiben, wählen wir eine symmetrische Matrix M = (mij) natürlicher Zahlen m_{ij} \in \N für i,j=1,\dots,n. Wir nehmen dabei zusätzlich an, dass mii = 1 und m_{ij} \ge 2 für alle i \ne j. Eine solche Matrix heißt dann Coxeter-Matrix und definiert die folgende Coxeter-Gruppe:

\Gamma_M = \langle s_1,s_2,\dots,s_n \mid (s_i s_j)^{m_{ij}} = 1 \rangle

Zum Beispiel ist die Diedergruppe Dn die Coxeter-Gruppe zur Matrix

\begin{pmatrix} 1 & n \\ n & 1 \end{pmatrix}

Die symmetrische Gruppe Sn ist die Coxeter-Gruppe zur (n-1)\times(n-1) Matrix

\begin{pmatrix} 1 & 3 & 2 & \dots & 2 \\ 3 & 1 & 3 & \ddots & \vdots \\ 2 & 3 & 1 & \ddots & 2 \\ \vdots & \ddots & \ddots & \ddots & 3 \\ 2 & \dots & 2 & 3 & 1 \end{pmatrix}

Solche Matrizen lassen sich übersichtlich als Dynkin-Diagramme darstellen und klassifizieren.

Tietze-Transformationen

Zu einer vorgegebenen Gruppe G gibt es stets unendlich viele verschiedene Präsentationen. Zum Beispiel ändern die folgenden Transformationen die Präsentation (S,R), nicht aber die präsentierte Gruppe \langle S \mid R \rangle:

Hinzufügen bzw. Entfernen einer redundanten Relation
Ist r \in F(S) eine Konsequenz der Relationen R, so erhält man mit den Relationen R^* = R \cup \{r\} zwar eine neue Präsentation (S,R * ), aber doch eine isomorphe Gruppe \langle S \mid R^* \rangle \cong \langle S \mid R \rangle.
Hinzufügen bzw. Entfernen eines redundanten Erzeugers
Für s \notin S und w \in F(S) erhält man mit den Erzeugern S^* = S \cup \{s\} und den Relationen R^* = R \cup \{ s w^{-1} \} zwar eine neue Präsentation (S * ,R * ), aber doch eine isomorphe Gruppe \langle S^* \mid R^* \rangle \cong \langle S \mid R \rangle.

Der Satz von Tietze besagt, dass diese Transformationen bereits alle Möglichkeiten ausschöpfen:

Sind (S1,R1) und (S1,R2) zwei endliche Präsentationen, so stellen sie genau dann isomorphe Gruppen dar, wenn sie sich durch eine endliche Folge der beiden obigen Transformationen ineinander überführen lassen.

Die drei Dehnschen Probleme

Der deutsche Mathematiker Max Dehn hat zu Beginn des 20. Jahrhunderts mit seinen grundlegenden Arbeiten die kombinatorische Gruppentheorie entscheidend geprägt. Er hat hierbei insbesondere drei allgemeine Probleme herausgestellt, die für die Arbeit mit Präsentationen von fundamentaler Bedeutung sind, sowohl in praktischer wie in theoretischer Hinsicht.

Das Wortproblem

Das erste Problem ist das offensichtlichste: Wenn man in der Gruppe \langle S \mid R \rangle konkret rechnen will, dann muss man Elemente vergleichen und feststellen können, ob sie gleich oder verschieden sind. Da alle Elemente als Wörter über der erzeugenden Menge S geschrieben werden können, führt dies unmittelbar auf folgendes Wortproblem:

Gegeben sei eine endliche Präsentation (S,R) der Gruppe G = \langle S \mid R \rangle.
Zu gegebenen Wörter w_1, w_2 \in F(S) bestimme man, ob sie dasselbe Element in G darstellen.

Hierzu ist folgendes Problem äquivalent, mittels w = w_1 w_2^{-1}:

Zu einem gegebenen Wort w \in F(S) bestimme man, ob w in der Gruppe G das neutrale Element darstellt.

Nach Konstruktion von G = F / K muss man also bestimmen, ob w im Normalteiler K = \langle R^F \rangle liegt oder nicht. Selbst bei einer kleinen Menge R von Relationen ist der so erzeugte Normalteiler K jedoch riesig. Immerhin kann man die Menge K systematisch aufzählen und damit ist das Wortproblem stets semi-entscheidbar: Wenn w \in K gilt, dann findet man dies nach endlich langer Zeit als Konsequenz der Relationen. Gilt hingegen w \notin K, dann findet die Aufzählung von K kein Ende.

Der Satz von Novikov-Boone besagt, dass das Wortproblem im Allgemeinen algorithmisch unlösbar ist.

Das Konjugationsproblem

Das Konjugationsproblem ähnelt dem Wortproblem, ist aber im Allgemeinen noch schwieriger:

Gegeben sei eine endliche Präsentation (S,R) der Gruppe G = \langle S \mid R \rangle.
Zu gegebenen Wörtern w_1, w_2 \in F(S) bestimme man, ob sie konjugierte Elemente in G darstellen.

Mit w2 = 1 enthält man hier das Wortproblem als Spezialfall.

Ebenso wie das Wortproblem ist das Konjugationsproblem nur semi-entscheidbar und im Allgemeinen algorithmisch unlösbar.

Das Isomorphieproblem

Das dritte und schwierigste der Dehnschen Probleme ist das Isomorphieproblem:

Gegeben seien zwei endliche Präsentationen (S1,R1) und (S2,R2).
Man bestimme ob die so präsentierten Gruppen G_1 = \langle S_1 \mid R_1 \rangle und G_2 = \langle S_2 \mid R_2 \rangle isomorph sind.

Die oben erklärten Tietze-Transformationen beschreiben, wie man Präsentationen ineinander umformen kann. Ausgehend von einer gegebenen Präsentation kann man somit alle äquivalenten Präsentationen aufzählen. Ebenso wie das Wort- und Konjugationsproblem ist das Isomorphieproblem nur semi-entscheidbar und im Allgemeinen algorithmisch unlösbar.

Literatur

  • Roger C. Lyndon, Paul E. Schupp: Combinatorial group theory. Reprint of the 1977 edition. Classics in Mathematics. Springer-Verlag, Berlin, 2001. ISBN 3-540-41158-5
  • Joseph J. Rotman: An introduction to the theory of groups. Fourth edition. Graduate Texts in Mathematics, 148. Springer-Verlag, New York, 1995. ISBN 0-387-94285-8
  • Max Dehn: Papers on group theory and topology. Translated from the German and with introductions and an appendix by John Stillwell. With an appendix by Otto Schreier. Springer-Verlag, New York, 1987. ISBN 0-387-96416-9

Wikimedia Foundation.

Игры ⚽ Поможем решить контрольную работу

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

  • Präsentation — bezeichnet die Darstellung von Waren, Gegenständen oder Informationen, siehe dazu Ausstellung Referat (Vortrag) Poster Präsentation in einer Postersession Anschlag auf einer Pinnwand Präsentationsprogramm Präsentation (Ernennung), ein… …   Deutsch Wikipedia

  • Präsentation (Ernennung) — Unter Präsentation wird ein Ernennungsverfahren verstanden, das aus einem verbindlichen Vorschlag besteht, den ein zuständiges Gremium nur entweder annehmen oder ablehnen kann. Das Präsentationsverfahren war historisch lange Zeit höchst bedeutend …   Deutsch Wikipedia

  • Wiener Gruppe — Die Wiener Gruppe war eine lose Vereinigung österreichischer Schriftsteller, die aus dem Art Club hervorging und sich etwa 1954 unter dem Einfluss H. C. Artmanns in Wien formierte. Neben Artmann selbst zählten Friedrich Achleitner, Konrad Bayer,… …   Deutsch Wikipedia

  • Bosener Gruppe — Kulturzentrum Bosener Mühle Die Bosener Gruppe ist ein loser Zusammenschluss von Schriftstellern, die literarische Mundart Texte verfassen. Sitz der Gruppe ist im nördlichen Saarland die Bosener Mühle. Die Bosener Gruppe legt den Schwerpunkt… …   Deutsch Wikipedia

  • Falke-Gruppe — FALKE Unternehmensform KGaA Gründung 1895 Unternehmenssitz …   Deutsch Wikipedia

  • Falke Gruppe — FALKE Unternehmensform KGaA Gründung 1895 Unternehmenssitz …   Deutsch Wikipedia

  • Demoszene — Präsentation einer Demo auf der Breakpoint 2005, einem jährlichen Treffen der Demoszene, Präsentation eines Echzeitdemos auf Grossleinwand …   Deutsch Wikipedia

  • Final Fantasy VII — Entwickler …   Deutsch Wikipedia

  • FF7 — Final Fantasy VII Entwickler: Square Co., Ltd. Verleger: Japan …   Deutsch Wikipedia

  • FFVII — Final Fantasy VII Entwickler: Square Co., Ltd. Verleger: Japan …   Deutsch Wikipedia

Share the article and excerpts

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