Baustein:Untergruppe

Aus VoWi
Wechseln zu: Navigation, Suche

Untergruppe[Bearbeiten, WP, 2.50 Definition]

U \subseteq G ist genau dann eine Untergruppe von G, wenn:

  1.  U \neq \O
  2.  a,b \in U \Rightarrow a \circ b^{-1} \in U