Sei n aus Z:
Untergruppe von ( Z , + ) heißt doch
0 ist in nZ
zu jedem x aus nZ ist -x enthalten und
nZ ist abgeschlossen gegen über +
zu1) ist erfüllt für k=0
wenn nk in nZ ist, dann auch -(nk) ; denn das ist n*(-k)
abgeschlossen: sind nk und nq in nZ
dann auch nk+nq = n(k+q) und k+q ist auch aus Z