Was ist eine Gruppe? SoSe 2017: Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
(Beispiele für Gruppen)
([\mathbb{Q}^+, \cdot ])
Zeile 7: Zeile 7:
 
===Die Gruppe der Deckabbildungen der Raute===
 
===Die Gruppe der Deckabbildungen der Raute===
 
==unendliche Gruppen==
 
==unendliche Gruppen==
=== <math>[\mathbb{Q}^+, \cdot ]</math> ===
+
=== Gebrochene Zahlen: <math>[\mathbb{Q}^+, \cdot ]</math> ===
  
 
=Gegenbeispiele für Gruppen=
 
=Gegenbeispiele für Gruppen=

Version vom 1. Mai 2017, 13:14 Uhr

Inhaltsverzeichnis

Beispiele für Gruppen

endliche Gruppen

Die Gruppe der Deckabbildungen des Rechtecks

Die Gruppe der Deckabbildungen der Raute

unendliche Gruppen

Gebrochene Zahlen: [\mathbb{Q}^+, \cdot ]

Gegenbeispiele für Gruppen

Gruppendefinitionen

Die "übliche" Gruppendefinition (lange Version)

Definition


Es sei G eine nichtleere Menge auf der eine Verknüpfung \odot.
Wenn die folgenden Axiome erfüllt sind, heißt die Struktur \mathbb{G}:=[G, \odot ] Gruppe:

  1. \odot ist auf G abgeschlossen: \forall a,b \in G: a \odot b \in G
  2. \odot ist assoziativ auf G: \forall a, b, c \in G: (a \odot b) \odot c = a \odot (b \odot c)
  3. Bezüglich \odot existiert in G ein ("universelles") Einslement e: \exist e \in G \forall a \in G: a \odot e = e \odot a= a .
  4. Bezüglich \odot existiert zu jedem a aus G ein ("persönliches") inverses Element a^{-1}: \forall a \in G \exist a^{-1} \in G: a \odot a^{-1} = a^{-1} \odot a = e.