Kleiner Tipp: Du hast schon gegeben, dass \((G,\circ)\) eine Gruppe ist, also fehlt zum Beweis eine abelschen Gruppe nur noch das Kommutativgesetz: \(\forall a,b\in G:a\circ b = b\circ a\), welches gelten muss.
Also probiere in Teilaufgabe b) und c) das geschickt umzuformen, um auf die kommutative Eigenschaft zu kommen.