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.