www.vorhilfe.de
Vorhilfe

Kostenlose Kommunikationsplattform für gegenseitige Hilfestellungen.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Vorhilfe
  Status Geisteswiss.
    Status Erdkunde
    Status Geschichte
    Status Jura
    Status Musik/Kunst
    Status Pädagogik
    Status Philosophie
    Status Politik/Wirtschaft
    Status Psychologie
    Status Religion
    Status Sozialwissenschaften
  Status Informatik
    Status Schule
    Status Hochschule
    Status Info-Training
    Status Wettbewerbe
    Status Praxis
    Status Internes IR
  Status Ingenieurwiss.
    Status Bauingenieurwesen
    Status Elektrotechnik
    Status Maschinenbau
    Status Materialwissenschaft
    Status Regelungstechnik
    Status Signaltheorie
    Status Sonstiges
    Status Technik
  Status Mathe
    Status Schulmathe
    Status Hochschulmathe
    Status Mathe-Vorkurse
    Status Mathe-Software
  Status Naturwiss.
    Status Astronomie
    Status Biologie
    Status Chemie
    Status Geowissenschaften
    Status Medizin
    Status Physik
    Status Sport
  Status Sonstiges / Diverses
  Status Sprachen
    Status Deutsch
    Status Englisch
    Status Französisch
    Status Griechisch
    Status Latein
    Status Russisch
    Status Spanisch
    Status Vorkurse
    Status Sonstiges (Sprachen)
  Status Neuerdings
  Status Internes VH
    Status Café VH
    Status Verbesserungen
    Status Benutzerbetreuung
    Status Plenum
    Status Datenbank-Forum
    Status Test-Forum
    Status Fragwürdige Inhalte
    Status VH e.V.

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
Dt. Schulen im Ausland: Mathe-Seiten:

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.vorhilfe.de