Du musst nur prüfen, ob für alle a,b ∈ :ℤ/12ℤ
gilt φ(a+b) = φ(a) + φ(b) vielleicht erst mal mit Beispielen etwa
φ(2+5) = φ(7) = 5*7 MOD 20
= 35 MOD 20
= 15 = 10 + 5
= 2*5 MOD 20 + 5*5 MOD 20
= φ(a) + φ(b)
Das passt schon mal. Und das musst du jetzt allgemein für
alle a,b zeigen. Dann ist es ein Gruppenhom.