Zeigen Sie, dass 2Z := {2z | z ∈ Z} eine Untergruppe von Z bezüglich der gewöhnlichen
Addition ganzer Zahlen ist.
Da 2Z offenbar eine Teilemenge von Z ist musst du nur zeigen
(s. https://de.wikipedia.org/wiki/Untergruppe#Äquivalente_Definitionen )
Für alle a,b ∈ 2Z gilt a + (-b) ∈ 2Z (Hier ist ja die Addition die Verknüpfung.)
Seien also a,b ∈ 2Z . ==> Es gibt x,y ∈ Z mit a=2x und b=2y
==> a+(-b) = 2x + (-2y) = 2*(x-y) und mit x,y ∈ Z ist auch x-y ∈ Z ,
also 2*(x-y) ∈ 2Z. q.e.d.