www.vorhilfe.de
Vorhilfe

Kostenlose Kommunikationsplattform für gegenseitige Hilfestellungen.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Englisch
  Status Grammatik
  Status Lektüre
  Status Korrekturlesen
  Status Übersetzung
  Status Sonstiges (Englisch)

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Neuerdings beta neu
 Forum...
 vorwissen
   Einstieg
   
   Index aller Artikel
   
   Hilfe / Dokumentation
   Richtlinien
   Textgestaltung
 vorkurse...
 Werkzeuge...
 Nachhilfevermittlung beta...
 Online-Spiele beta
 Suchen
 Verein...
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Gruppe
Mach mit! und verbessere/erweitere diesen Artikel!
Artikel • Seite bearbeiten • Versionen/Autoren

Gruppe

Definition Gruppe

Eine Menge $ G $ zusammen mit einer Verknüpfung "$ \oplus $" heißt Gruppe $ (G,\oplus) $, wenn gilt:

G1) Für alle $ a,b,c\in G $ ist $ (a\oplus b)\oplus c=a\oplus (b\oplus c) $ ("Assoziativität")

G2) Es existiert ein $ e\in G $, so dass für alle $ g\in G $ gilt: $ g\oplus e=g $ bzw. $ e\oplus g=g $. ("Neutrales Element")
(Statt $ e $ schreibt man bei additiver Schreibweise der Gruppe kurz: $ 0 $.)

G3) Für alle $ g\in G $ existiert ein $ h\in G $, so dass $ g\oplus h=e $ bzw. $ h\oplus g=e $. ("Inverses Element")
(Statt $ h $ schreibt man bei additiver Schreibweise der Gruppe kurz: $ -g $.)

Eine Gruppe heißt abelsch oder kommutative Gruppe, wenn zusätzlich das Kommutativgesetz gilt:

G4) Für alle $ a,b\in G $ ist $ a\oplus b=b\oplus a $.

Dabei sei angemerkt: Es ist $ \oplus\colon G \times G \to G $ und man schreibt $ a \oplus b:=\oplus(a,b):=\oplus(\;(a,b)\;) $ für $ (a,b) \in G \times G. $

Bemerkungen:
(1) Ohne die in der Anmerkung erwähnte Notation würde man etwa das Assoziativitätsgesetz schreiben als

$ \oplus(\;(\oplus(\;(a,b)\;),c)\;)=\oplus(\;(a,\oplus(\;(b,c)\;), $

mihilfe der Konvention $ \oplus(a,b)=\oplus(\;(a,b)\;) $ auch etwas knapper als
$ \oplus(\;\oplus(a,b),c\;)=\oplus(\;a,\oplus(\;b,c\;)\;). $

Alleine dieses Beispiel zeigt schon deutlich den Vorteil der oben erwähnten Schreibweise!

(2) In einer Gruppe gilt das Assoziativgesetz auch für je endlich viele Elemente. Man nennt dies auch das verallgemeinerte Assoziativgesetz.



In multiplikativer Schreibweise lauten diese vier Bedingungen:

$ (G,\odot) $ Gruppe, wenn:
G1) Für alle $ a,b,c\in G $ ist $ (a\odot b)\odot c=a\odot (b\odot c) $ ("Assoziativität")
G2) Es existiert ein $ e\in G $, so dass für alle $ g\in G $ gilt: $ g\odot e=g $ bzw. $ e\odot g=g $. ("Neutrales Element")
(Statt $ e $ schreibt man bei multiplikativer Schreibweise der Gruppe kurz: $ 1 $.)
G3) Für alle $ g\in G $ existiert ein $ h\in G $, so dass $ g\odot h=e $ bzw. $ h\odot g=e $. ("Inverses Element")
Statt $ h $ schreibt man bei multiplikativer Schreibweise der Gruppe kurz: $ g^{-1} $
kommutative Gruppe: G4) Für alle $ a,b\in G $ ist $ a\odot b=b\odot a $.


Definition aus dem Meyberg

Ein Paar $ (G, \cdot) $ heißt eine Gruppe, wenn gilt:

$ (G_1) $ $ (G, \cdot) $ ist eine Halbgruppe,

$ (G_2) $ in $ G $ gibt es ein linksneutrales Element $ e $,

$ (G_3) $ zu jedem $ a \in G $ gibt es ein $ b \in G $ mit $ ba=e $. (Existenz linksinverser Elemente)


$ (G_1) $ beinhaltet, dass $ G $ eine nichtleere Menge ist mit assoziativer Multiplikation.

Eine Gruppe $ G $ heißt abelsch oder kommutativ, wenn $ ab=ba $ gilt für alle $ a,\, b \in G $.

Bemerkungen

1) Mit diesem ("schwachen") Axiomensystem kann man sehr schnell entscheiden, ob eine gegebene Halbgruppe eine Gruppe ist oder nicht.

2) Die endlichen Permutationsgruppen bilden den Ursprung einer allgemeinen Gruppentheorie. E. Galois (1811-1832) erkannte als erster die Bedeutung der Permutationsgruppen für die Bedeutung der Permuationsgruppen für die Theorie algebraischer Gleichungen und hat damit wesentlich das Interesse an diesen Gruppen belebt. Der heute vorliegende (abstrakte) Gruppenbegriff geht auf A. Cayley (1821-1895) zurück. Bis in neuerer Zeit wurden ständig neue Anwendungsmöglichkeiten der Gruppentheorie in Geometrie, Analysis, Topologie entdeckt. Gruppen spielen auch eine wichtige Rolle in der Kristallographie, Quantenmechanik und anderen theoretischen Naturwissenschaften.



Beispiele.

a) $ (\IZ,+) $, $ (\IQ,+) $, $ (\IR,+) $, $ (\IC,+) $ sind (additive) abelsche Gruppen.

b) $ (\{+1,-1\},\cdot) $, $ (\IQ \setminus \{0\},\cdot) $, $ (\IR \setminus \{0\},\cdot) $, $ (\IC \setminus \{0\},\cdot) $ sind (multiplikative) abelsche Gruppen.

c) $ G=\{e\} $ mit $ ee=e $ ist eine Gruppe.

d) Für jede natürliche Zahl $ n $ ist $ (\IZ_n,+) $, die Menge der Restklassen modulo $ n $, eine abelsche Gruppe der Ordnung $ n $. Es ist

$ \IZ_n=\{\overline{0}, \overline{1}, \overline{2}, \ldots , \overline{n-1}\} $

und $ + $ ist erklärt durch

$ \overline{u} + \overline{v} = \overline{u+v} $.

Das neutrale Element ist $ \overline{0} $ und $ \overline{-u} $ ist das Inverse (bwz. Addition) von $ \overline{u} $. Man berechnet $ \overline{u} + \overline{v} $, indem man von $ u+v $ den bei Division durch $ n $ enstehenden Rest $ r $ ermittelt; dann ist

$ \overline{u} + \overline{v} = \overline{u+v} = \overline{r} $.

(Man will doch der Summe ansehen, welches der Elemente aus $ \{\overline{0},\overline{1},\ldots, \overline{n-1}\} $ sie darstellt.)

Man beachte ferner, dass aus der Definition mit leichter Induktion

$ m \overline{u} = \overline{mu} $  für alle $ m \in \IZ $

folgt.

e) Es sei

$ G = \left\{ \pmat{a & b \\ -b & a} \, \bigvert\, a,\, b \in \IR \quad \mbox{und} \quad a^2+b^2\ne 0 \right\} $.

Als Produkt wird das Matrizenprodukt genommen; dann ist $ (G, \cdot) $ eine abelsche Gruppe.

f) Eine große Klasse von Beispielen erhält man aus folgendem Ergebnis:

Ist $ (H, \cdot) $ eine Halbgruppe mit neutralem Element und $ H^{\star} $ die Menge der invertierbaren Elemente aus $ H $, dann ist $ (H^{\star},\cdot) $ eine Gruppe.

Als triviale Anwendungen hiervon erhalten wir die Beispiele in b) aus den Halbgruppen $ (\IZ, \cdot) $, $ (\IQ,\cdot) $, $ (\IR,\cdot) $ und $ (\IC, \cdot) $. Weitere Anwendungen werden in g), h) und i) angegeben.

g) Für $ (\IZ_n, \cdot) $ ist

$ \IZ_n^{\star} = \{\overline{m} \in \IZ_n \, \vert \, m \ \mbox{und} \ n \ \mbox{sind teilerfremd}\} $.

Die Gruppe $ \IZ_n^{\star} $ heißt prime Restklassengruppe modulo $ n $. Die Ordnung $ |\IZ_n^{\star}| $ wird mit $ \varphi(n) $ bezeichnet. $ \varphi $ heißt die Eulersche $ \varphi $-Funktion. Es ist $ \varphi(n) $ gleich der Anzahl der zu $ n $ teilerfremden ganzen Zahlen $ t $ mit $ 1 \le t < n $.

h) Die Menge $ K^{(n,n)} $ aller $ n \times n $-Matrizen über einem Körper $ \IK $ ist zusammen mit der Matrizenmultiplikation eine Halbgruppe mit der Einheitsmatrix als neutralem Element. Die invertierbaren Elemente in dieser Halbgruppe sind genau die Matrizen mit von Null verschiedener Determinante, d.h.

$ (K^{(n,n)})^{\star} = Gl(n,K) = \{A \in K^{(n,n)}\, \vert\, \det A \ne 0\} $.

i) symmetrische Gruppe

j) Es sind vielfach gewisse Teilmengen der symmetrischen Gruppe $ S(X) $ von $ X $, die besonders ausgezeichnet sind. Ist auf $ X $ eine algebraische Struktur erklärt, so betrachtet man die Homomorphismen aus $ S(X) $, die Automorphismen. Ist $ X $ ein topologischer Raum, dann sind die topologischen Abbildungen von $ X $ ($ f $ und $ f^{-1} $ stetig) von besonderem Interesse. Betreibt man in $ X $ Geometrie, dann sind es die Translationen, Rotationen, Spiegelungen oder allgemeiner die projektiven bzw. affinen Abbildungen aus $ S(X) $, die studiert werden. In allen diesen erwähnten Fällen zeigt man, dass die betrachtete Teilmenge von $ S(X) $ zusammen mit der gegebenen Multiplikation aus $ S(X) $ Gruppen sind. Die Struktur solcher Gruppen gibt Einblick in die jeweilige Struktur auf $ X $ (und umgekehrt, natürlich).

k) Endliche Gruppen (mit nicht zu hoher Ordnung) übersieht man am besten, wenn sämtliche Produkte aufgeführt sind, wenn also die Verknüpfungstafel angegeben ist. In der Verknüpfungstafel einer Gruppe $ G=\{x_1,\ldots,x_n\} $, Gruppentafel von $ G $ genannt, wählen wir stets $ x_1=e $ und können damit auf die Ränder verzichten, denn in der ersten Zeile stehen dann die Elemente $ x_1x_j = ex_j =x_j $ $ (1 \le j \le n) $ und in der ersten Spalte stehen $ x_ix_1 = x_ie = x_i $ $ (1 \le i \le n) $.

Die Verknüfungstafel einer endlichen Halbgruppe ist genau dann eine Gruppentafel, wenn in jeder Zeile und jeder Spalte der Tafel jedes Element von $ G $ höchstens einmal vorkommt.

Wenn wir aus gegebenen Informationen einige Plätze in der Gruppentafel auffüllen können, wissen wir, dass diese Elemente nicht noch einmal in derselben Zeile oder Spalte vorkommen können. Damit sind die Möglichkeiten zum Auffüllen der freien Plätze eingeschränkt.

l) Zur Illustration von k): Es sei $ G=\{e,a,b\} $ eine Gruppe mit neutralem Element $ e $. Von der Gruppentafel kann man die erste Zeile und erste Spalte sofort hinschreiben:

$ \pmat{e & a & b \\ a & \star &  \\ b & & } $

An die mit $ \star $ gekennzeichnet Stelle muss $ b $ gesetzt werden; denn setzen wir dorthin $ e $, dann muss darunter $ b $ eingetragen werden und wir erhalten zweimal $ b $ in der letzten Zeile. Nun liegen aber nach k) die anderen Stellen ebenfalls fest. Auf $ G=\{e,a,b\} $ gibt es daher höchstens eine Gruppenstruktur:

$ \pmat{e & a & b \\ a & b &  e \\ b & e & a } $

Man überzeugt sich leicht, dass dieses auch wirklich eine Gruppentafel ist.

m) Kleinsche Vierergruppe

n) Quaternionengruppe


Quelle: isbn3446130799


Erstellt: Sa 04.09.2004 von Marc
Letzte Änderung: Do 06.06.2013 um 17:32 von Marcel
Weitere Autoren: Frusciante, informix, Stefan
Artikel • Seite bearbeiten • Versionen/Autoren • Titel ändern • Artikel löschen • Quelltext

^ Seitenanfang ^
www.englischraum.de
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]