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

Es seien ganze Zahlen und die davon erzeugte Untergruppe.

Eine ganze Zahl ist ein gemeinsamer Teiler der genau dann, wenn ist, und ist ein größter gemeinsamer Teiler genau dann, wenn ist.