Seien n∈ℕ beliebig, aber fest und U:={nz| z∈ℤ} ⊆ℤ ist mit der gewöhnlichen Addition eine Untergruppe von (ℤ, +)
U nicht-leer, klar!
seien u,g∈U ⇒ ∃ x,y∈ℤ s.d. u=nx, g=ny ⇒ u+g=nx+ny=n(x+y) mit x+y∈ℤ, da (ℤ, +) ja nach Voraussetzung eine Gruppe ich, also u+g∈U
da -1∈ℤ ist (-n)=n(-1)∈U ⇒ zu jedem u=nx∈U ist -u=(-n)x∈U
also ist U Untergruppe