Es seien a 1 , … , a k {\displaystyle {}a_{1},\ldots ,a_{k}} ganze Zahlen und H = ( a 1 , … , a k ) = { n 1 a 1 + n 2 a 2 + ⋯ + n k a k ∣ n j ∈ Z } {\displaystyle {}H=(a_{1},\ldots ,a_{k})={\left\{n_{1}a_{1}+n_{2}a_{2}+\cdots +n_{k}a_{k}\mid n_{j}\in \mathbb {Z} \right\}}} die davon erzeugte Untergruppe.
Eine ganze Zahl t {\displaystyle {}t} ist ein gemeinsamer Teiler der a 1 , … , a k {\displaystyle {}a_{1},\ldots ,a_{k}} genau dann, wenn H ⊆ Z t {\displaystyle {}H\subseteq \mathbb {Z} t} ist, und t {\displaystyle {}t} ist ein größter gemeinsamer Teiler genau dann, wenn H = Z t {\displaystyle {}H=\mathbb {Z} t} ist.