Fang mal langsam an:
Erst mal für +:
Wie oben gesagt ist zu zeigen, dass ( P(M) , + ) eine abelsche Gruppe ist.
Abgeschlossenheit ist wohl klar: Für zwei Teilemengen A und B von M ist das Ergebnis
von A+B = (A \ B) ∪ (B \ A) auch immer wieder eine Teilmenge von M.
Assoziativ: siehe (meistens heißt dieses + auch "symmetrische Differenz"
https://de.wikibooks.org/wiki/Beweisarchiv:_Mengenlehre:_Mengenoperation:_Assoziativgesetz#Symmetrische_Differenz
Neutrales Element wurde oben schon erwähnt: ∅
Das ist offenbar immer eine Teilmenge von M, also in P(M) und du musst zeigen
∅+X = x für alle X∈P(M) .
zu jedem X gibt es ein inverses Element nämlich x selber, weil immer
gilt X+X = ∅ (Das musst du natürlich noch nachrechnen.)
Frag mal konkret nach, wenn etwas nicht klappt.
zeige die Kommutativität.