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.