Untergruppen von Z/Ein Erzeuger/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

Eine Teilmenge der Form ist aufgrund der Distributivgesetze eine Untergruppe. Sei umgekehrt eine Untergruppe. Bei kann man nehmen, so dass wir voraussetzen dürfen, dass neben noch mindestens ein weiteres Element enthält. Wenn negativ ist, so muss die Untergruppe auch das Negative davon, also enthalten, welches positiv ist. D.h. enthält auch positive Zahlen. Sei nun die kleinste positive Zahl aus . Wir behaupten . Dabei ist die Inklusion klar, da mit alle (positiven und negativen) Vielfachen von dazugehören müssen. Für die umgekehrte Inklusion sei beliebig. Nach der Division mit Rest gilt

Wegen und ist auch . Nach der Wahl von muss wegen gelten: Dies bedeutet und damit , also .

Zur bewiesenen Aussage