Beweisen Sie, dass (5 Z, +) eine Untergruppe von (Z, +) ist.
1. (5 Z, +) ist abgeschlossen: Seien x,y ∈ 5Z
==> ∃a,b ∈ℤ mit x=5a und y = 5b
==> x+y = 5a + 5b = 5(a+b) also gibt es ein z∈ℤ
(nämlich z=a+b) mit x+y = 5z, also x+y ∈5ℤ.
2. (5 Z, +) enthält das neutr. El. von (Z,+)
Dem ist so: 0 = 5*0
3. (5 Z, +) enthält zu jedem seiner Elemente das Inverse.
Ist auch: Invers zu 5a ist 5*(-a).