Zu Zeigen:
1) (ℤ,+): ist abelsche Gruppe,
2) (ℤ,*) ist Halbgruppe, also ist die Verknüpfung * assoziativ
3) Distributivgesetze gelten
Aber wie zeige ich das, wie soll ich argumentieren bzw. die Aussage begründen?
Beispielsweise: 1) Behauptung: (ℤ,+): ist abelsche Gruppe
Beweis:
(i) Assoziativgesetz: Seien a,b,c ∈ℤ bel., dann gilt: (a+b)+c=....=...=a+(b+c)