Du musst über die Gruppenaxiome argumentieren.
Da x∈H ist auch x^(-1) . Wäre außerdem x*y ∈ H
dann wäre wegen der Abgeschlossenheit der Untergruppe
auch x^(-1) * ( x*y) ∈ H
Wegen der Assoziativität gilt aber
x^(-1) * ( x*y) = ( x^(-1) * x) *y
mit eH neutrales El. von H also
= eH * y = y .
Also wäre y ∈ H. Widerspruch zur Voraussetzung y ∉ H.