Erzeugte Untergruppe zu Menge/Definition

Erzeugte Untergruppe

Es sei ${}G$ eine Gruppe und  ${}M\subseteq G$  eine Teilmenge. Dann nennt man

${}(M)=\bigcap _{M\subseteq H,\,H\,{\text{Untergruppe}}}H\,$

die von ${}M$ erzeugte Untergruppe.