(G , ·) ist ja wohl eine Gruppe.
Und für "Homomorphismus" hast du ja schon den Tipp aus dem
Kommentar. Etwa ausführlicher vielleicht so:
Sei a∈G und Ka wie in der Aufgabe definiert. Dann ist zu zeigen :
Für alle x,y ∈ G gilt Ka(x·y) = Ka(x) · Ka(y) .
Und dann den Tipp anwenden.
injektiv: Seien x,y ∈ G mit Ka(x) = Ka(y)
==> a·x·a^−1 = a·y·a^−1 | von rechts ·a
==> a·x = a·y | von rechts ·a^(-1)
==> x = y.
surjektiv: Gibt es zu jedem y ∈ G ein x ∈ G mit Ka(x)=y ?
Ja, wähle x = a^(-1) ·y· a und das ist wegen der
Abgeschlossenheit von (G , ·) auch wirklich in G.