hier fehlt die die Angabe der Verknüpfung auf ℤ, denn ein Homomorphismus muss mit der Verknüpfung ⊗ "verträglich" sein: φ(a ⊗ b) = φ(a) ⊗ φ(b)
(ℤ,+) :
φ(a) + φ(b) = 2 • a + 2 • b = 2 • (a+b) = φ(a+b) → Homomorphismus
(Z,•)
φ(a) • φ(b) = 2a • 2b = 4ab ≠i.A. 2•(a•b) = φ(a•b) → kein Homomorphismus
Gruß Wolfgang