Untergruppen SoSe 2017: Unterschied zwischen den Versionen
Aus Geometrie-Wiki
*m.g.* (Diskussion | Beiträge) (→Definition) |
*m.g.* (Diskussion | Beiträge) (→Untergruppenkriterium 2) |
||
| (4 dazwischenliegende Versionen von einem Benutzer werden nicht angezeigt) | |||
| 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>. | ||
| + | Beweis: Übungsaufgabe | ||
| + | |||
| + | ==Untergruppenkriterium 2== | ||
| + | '''Satz 3: (2. 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^{-1} \in U </math>. | ||
| + | Beweis: Übungsaufgabe | ||
<!--- Was hier drunter steht muss stehen bleiben ---> | <!--- Was hier drunter steht muss stehen bleiben ---> | ||
|} | |} | ||
</div> | </div> | ||
[[Kategorie:Algebra]] | [[Kategorie:Algebra]] | ||
Aktuelle Version vom 14. Mai 2017, 16:50 Uhr
UntergruppenBeispiele
DefinitionDefinition 6: (Untergruppe)
Untergruppenkriterium 1Satz 2: (1. Untergruppenkriterium)
Beweis: Übungsaufgabe Untergruppenkriterium 2Satz 3: (2. Untergruppenkriterium)
Beweis: Übungsaufgabe |
ist eine Untergruppe von
eine Gruppe und
eine Teilmenge von
.
selbst eine Gruppe ist, dann ist
mit
.
,
.
.

