Generated Submodule may not equal Set of Linear Combinations

Theorem
Let $R = \set { 2 k : k \in \Z}$ be the set of all even integers.

Let $S = \set {2}$ be a subset of $R$.

Then $\struct {R, +, \times}$ is a ring, where the submodule generated by $S$ is equal to:
 * $R = \set { 2 k : k \in \Z}$

and the set of all linear combinations of elements of $S$ is:


 * $\ds \set { \sum_{i \mathop = 1}^n \lambda_i \times 2 : n \in \N_{\ge 1}, \lambda_1, \ldots, \lambda_n \in R } = \set { 4 k : k \in Z}$

Proof
From Integers form Commutative Ring, it follows that $\Z$ is a ring.

From Ideal of Ring/Examples/Set of Even Integers, it follows that $R$ is an ideal of $\Z$.

From Ideal is Subring, it follows that $R$ is a ring.

Let $H_1$ be the submodule generated by $S$, which means that:
 * $\ds H_1 := \bigcap \set { M' \subseteq R : \set {2} \subseteq M', \textrm {$M'$ is a submodule of $R$} } $

Let $M'$ be a submodule of $R$ such that $2 \in M'$.

We show that $M' = R$.

From Congruence Modulo Integer is Equivalence Relation, it follows that all $x \in \Z$ is of the form $x := 4 k' + r$ for some $k \in \Z, r \in \set{ 0,1,2,3 }$.

Suppose $x \in R$ such that $x = 4 k'$ for some $k' \in \Z$

Then:
 * $4 k' = 2 k' \times 2$

As $M'$ is closed for scalar product, it follows that $4 k' \in M'$.

Suppose $x \in R$ such that $x = 4 k' + 2$ for some $k' \in \Z$.

As $M'$ is closed for addition, and $2 \in M'$, it follows that $4 k' + 2 \in M'$.

If instead $x = 4 k' + 1$ or $x = 4 k' + 3$, then $x$ cannot be an even integer, so $x \notin R$.

It follows that $R \subseteq M'$.

As $M'$ is a submodule of $R$, it follows that $M' \subseteq R$.

As we have $M' = R$, it follows that:
 * $\bigcap \set { M' \subseteq R : \set {2} \subseteq M', \textrm {$M'$ is a submodule of $R$} } = \bigcap \set {R} = R$

Let $H_2$ be the set of all linear combinations of elements of $\set {2}$.

With $\ds \sum_{i \mathop= 1}^n \lambda_i \times 2 \in H_2$, it follows that:

As $\ds \sum_{i \mathop= 1}^n k_i \in \Z$, it follows that:
 * $H_2 = \set { 4 k : k \in Z}$

Also see

 * Equivalence of Definitions of Generated Submodule over Ring with Unity, which shows that the generated submodule and the linear combination set are equal, if $R$ is a ring with unity.