Es ist φ(−i)=−φ(i), denn φ ist ein Homomorphismus.
Aber das soll man ja in a gerade zeigen, müsste also auch so definiert sein.
Zeigen sie dass ein n ∈ℕ0 existiert mit ker(φ)= nℤ
wenn es so ist, dass für alle i ≠ k aus ℤ gilt
φ(i) ≠ φ(k) dann ist Ker(φ) = {0} und damit gleich 0* ℤ
Sollte für i >0 und i ≠ k irgendwann mal φ(i) = φ(k) gelten,
also wegen Hom φ(i-k ) = 0 und damit i-k aus dem Kern von φ.
Also Kern( φ) = { n aus ℤ | Es gibt i, k aus ℤ n= i-k und φ(i) = φ(k) }
und mit n aus Kern( φ) ist auch für jedes m aus ℤ wieder n*m aus Kern( φ) .
Und wenn n das kleinste pos. El. aus Kern( φ) ist, dann sind das alle
Vielfachen von n, also Kern( φ) = n* ℤ