Guten Tag,
Ich habe bei meinem Hausübungen folgendes Problem:

Die Aufgabenstellung:

Für Mich wirkt die Menge M, so als beinhalte sie alle Elemente aus G (scheint sehr unrealistisch)
Meine Idee zur a)
Ich bin die Untergruppenkriterien durchgegangen:
- M enhält ein neutrales Element denn e ist immer teil von M

Folgendes fehlt mir:
1. Wie kann ich denn hier formal zeigen dass a,b Element M ist sowie a*b Element von M ist? 
2. Wie kann ich zeigen das zu jedem Element ein Inverses in der Menge M existiert?


Zu der b)
habe ich keinerlei Ansatz :/