Untergruppen SoSe 2017: Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
(Untergruppenkriterium 2)
(Untergruppenkriterium 2)
 
Zeile 29: Zeile 29:
 
:<math>[U,\odot]</math> ist genau dann Untergruppe von <math>[G,\odot]</math>, wenn  
 
:<math>[U,\odot]</math> ist genau dann Untergruppe von <math>[G,\odot]</math>, wenn  
 
* <math>\forall a, b \in U: a \odot b^{-1} \in U </math>.
 
* <math>\forall a, b \in U: a \odot b^{-1} \in U </math>.
 +
Beweis: Übungsaufgabe
 
<!--- Was hier drunter steht muss stehen bleiben --->
 
<!--- Was hier drunter steht muss stehen bleiben --->
 
|}
 
|}
Beweis: Übungsaufgabe
 
 
</div>
 
</div>
 
[[Kategorie:Algebra]]
 
[[Kategorie:Algebra]]

Aktuelle Version vom 14. Mai 2017, 17:50 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 .

Beweis: Übungsaufgabe