Kategorie:Untergruppe

${\displaystyle U\subseteq G}$ ist genau dann eine Untergruppe von ${\displaystyle G}$, wenn:

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