zu 3.2 : Folge dem Tipp:
Da U nicht leer ist, gibt es ein g ∈ U.
Betrachte nun g1=g g2=g*g g3=g*g*g etc.
Diese liegen laut Voraussetzung alle wieder in U.
Da U endlich ist, können sie nicht alle verschieden sein, sondern
irgendwann taucht einer auf, den du vorher schon hattest, also
gibt es zwei verschiedene n und m aus ℕ mit gm = gn .
Vielleicht hilft das schon, um zu erkennen, dass jedenfalls
das neutrale Element von G auch in U liegt.