> ich weiß gerade nicht wie ich bei dieser Aufgabe die Abgeschlossenheit zeigen soll
Seien g1, g2 ∈ M. Dann gilt für alle h ∈ G
(g1 * g2) * h
= g1 * (g2 * h) wegen Assoziativgesetz in G
= g1 * (h * g2) wegen g2 ∈ M
= (g1 * h) * g2 wegen Assoziativgesetz in G
= (h * g1 ) * g2 wegen g1 ∈ M
= h * (g1 * g2) wegen Assoziativgesetz in G.
Also ist (g1 * g2) ∈ M.