Untergruppen SoSe 2017: Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
(Untergruppenkriterium 1)
(Untergruppenkriterium 1)
Zeile 21: Zeile 21:
 
# <math>\forall a,b \in U: a \odot b \in U</math>,
 
# <math>\forall a,b \in U: a \odot b \in U</math>,
 
# <math>\forall a \in U: a^{-1} \in U</math>.
 
# <math>\forall a \in U: a^{-1} \in U</math>.
 +
Beweis: Übungsaufgabe
 +
 
==Untergruppenkriterium 2==
 
==Untergruppenkriterium 2==
 
'''Satz 3: (2. Untergruppenkriterium)'''
 
'''Satz 3: (2. Untergruppenkriterium)'''

Version vom 14. Mai 2017, 16:49 Uhr

Inhaltsverzeichnis

Untergruppen

Beispiele

  1. Die Gruppe der Deckdrehungen des Quadrates ist eine Untergruppe der Deckabbildungen des Quadrates.
  2. Die Gruppe der Deckabbildungen des Rechtecks ist eine Untergruppe der Gruppe der Deckabbildungen des Quadrates.
  3. [\mathbb{Z}|_2, +] ist eine Untergruppe von [\mathbb{Z}, +]

Definition

Definition 6: (Untergruppe)


Es sei [G,\odot] eine Gruppe und U eine Teilmenge von G.
Wenn [U,\odot] selbst eine Gruppe ist, dann ist [U, \odot] eine Untergruppe von [G,\odot]

Untergruppenkriterium 1

Satz 2: (1. Untergruppenkriterium)


Es sei [G,\odot] eine Gruppe und U \subseteq G mit G \not= \empty.
[U,\odot] ist genau dann Untergruppe von [G,\odot], wenn
  1. \forall a,b \in U: a \odot b \in U,
  2. \forall a \in U: a^{-1} \in U.

Beweis: Übungsaufgabe

Untergruppenkriterium 2

Satz 3: (2. Untergruppenkriterium)


Es sei [G,\odot] eine Gruppe und U \subseteq G mit G \not= \empty.
[U,\odot] ist genau dann Untergruppe von [G,\odot], wenn
  • \forall a, b \in U: a \odot b^{-1} \in U .