Untergruppen SoSe 2017

Aus Geometrie-Wiki
Version vom 14. Mai 2017, 16:50 Uhr von *m.g.* (Diskussion | Beiträge)

(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu: Navigation, Suche

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 .

Beweis: Übungsaufgabe