Linear Combination of Integers is Ideal

Theorem
Let $a, b$ be any integers.

Let $\Bbb S = \left\{{a x + b y: x, y \in \Z}\right\}$.

Then the algebraic structure:
 * $\left({\Bbb S, +, \times}\right)$

is an ideal of $\Z$.

Proof
From the definition of integer combination (or just because it's obvious), $\Bbb S \subseteq \Z$ and clearly $\Bbb S \ne \varnothing$ as $a 0 + b 0 = 0 \in \Bbb S$.

Let $w_1, w_2 \in \Bbb S$:
 * $w_1 = a x_1 + b y_1, w_2 = a x_2 + b y_2$

Then $w_1 + \left({-w_2}\right) = a \left({x_1 - x_2}\right) + b \left({y_1 - y_2}\right) \in \Bbb S$ as $x_1 - x_2 \in \Z$ and $y_1 - y_2 \in \Z$.

Let $r \in \Z$.

Then:
 * $w_1 \times r = a x_1 r + b y_1 r = a \left({x_1 r}\right) + b \left({y_1 r}\right) \in \Bbb S$


 * $r \times w_1 = r a x_1 + r b y_1 = \left({r x_1}\right) a + \left({r y_1}\right) b \in \Bbb S$

The result follows from Test for Ideal.