Ich gehe davon aus, dass ° Multiplikation sein soll:
G1:= ({f : {1, 2, 3}→ {1, 2, 3}}, °)
• Es gibt ein neutrales Element aus G1, nämlich 1, denn: Sei x∈G1, dann gilt 1*x=x=x*1.
• Zu jedem Element aus G1 gibt es ein inverses Element:
Inverses zu 1: 1, denn 1*1=1
Inverses zu 2: 2, denn 2*2=4mod3=1
Inverses zu 3: nicht 1, denn 1*3=3;
nicht 2, denn 2*3=6mod3=3 (6mod3 ist hier nicht 0, da 0 nicht im Wertebereich liegt);
nicht 3, denn 3*3=9mod3=3. Es gibt also kein inverses Element zu 3.
• Assoziativität: Seien x,y,z∈G1, dann gilt (x*y)*z=x*(y*z).
G1 ist keine Gruppe, da es kein inverses Element zu 3 gibt.
G1:= (f : {1, 2, 3}→ {1, 2, 3},f ist bijektiv}, °)
Hier kann ich dir leider nicht helfen. Ich würde das so wie oben machen, aber da f bijektiv ist, weiß ich nicht, wie das mit der Verknüpfung funktionieren soll. Bitte noch jemand anderes hier drüber schauen!