Untergruppen SoSe 2017: Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
(Definition)
(Untergruppenkriterium 1)
Zeile 15: Zeile 15:
  
 
==Untergruppenkriterium 1==
 
==Untergruppenkriterium 1==
 +
'''Satz 2: (1. Untergruppenkriterium)'''
 +
-----
 +
:Es sei <math>[G,\odot]</math> eine Gruppe und <math>U \subseteq G</math> mit <math>G \not= \empty</math>.<br />
 +
:<math>[U,\odot]</math> ist genau dann Untergruppe von <math>[G,\odot]</math>, wenn
 +
# <math>\forall a,b \in U: a \odot b \in U</math>,
 +
# <math>\forall a \in U: a^{-1} \in U</math>.
 
<!--- Was hier drunter steht muss stehen bleiben --->
 
<!--- Was hier drunter steht muss stehen bleiben --->
 
|}
 
|}
 
</div>
 
</div>
 
[[Kategorie:Algebra]]
 
[[Kategorie:Algebra]]

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