$$A \subseteq B \iff a\cdot b^-1 \in A \space (\forall a,b \in A)$$
$$\implies$$
Dieser Schritt ist trivial wuerde ich sagen. Das ist doch einfach das Kriterium dafuer, dass A eine Untergruppe ist laut Definition.
$$\Longleftarrow$$
Folgt das nicht einfach auch aus der Definition? Dan kann ja nicht sein, dann waere die Aufgabe viel zu einfach ... Ich habe nicht so wirklich eine Ahnung, was hier von mir erwartet wird,
