Wieso ist U genau dann eine Untergruppe von G, wenn ab^(-1)?
du hast was wichtiges vergessen: wenn ab^(-1) in U für alle a,b aus U.
Dann hast du jedenfalls das neutrale Element e von G in U enthalten; denn
da U nicht leer ist (Das ist eine wichtige Voraussetzung.) gibt
es jedenfalls ein x∈U. Nun hast du ja " ab^(-1) in U für alle a,b aus U"
und diese Eigenschaft wendest du an für a=x und b=x , dann gibt das
x * x^(-1) ∈ U und weil immer gilt x * x^(-1) = e , also e ∈ U .
Jetzt musst du nur noch zeigen, dass für alle x∈U auch x^(-1)∈U ist.
Das bekommst du wieder mit der Aussage " ab^(-1) in U für alle a,b aus U"
hin. Wähle einfach a=e (Das ist ja nachgewiesen in U) und b=x
Dann hast du e*x^(-1) ∈ U , also x^(-1) ∈ U.