Teilbarkeitstheorie (Z)/Gemeinsame Teiler/Charakterisierung mit Untergruppen/Fakt/Beweis/Aufgabe

Aus Wikiversity

Es seien ganze Zahlen und die davon erzeugte Untergruppe. Zeige, dass eine ganze Zahl genau dann ein gemeinsamer Teiler der ist, wenn ist, und dass genau dann ein größter gemeinsamer Teiler ist, wenn ist.