Submodule Test

Theorem
Let $$\left({G, +: \circ}\right)_R$$ be a unitary $R$-module.

Let $$H$$ be a non-empty subset of $$G$$.

Then $$\left({H, +: \circ}\right)_R$$ is a submodule of $$G$$ iff:


 * $$\forall x, y \in H: \forall \lambda \in R: x + y \in H, \lambda \circ x \in H$$

Proof
If the conditions are fulfilled, then $$x \in H \implies -x = \left({- 1_R}\right) \circ x \in H$$.

Thus $$H$$ is a subgroup of $$\left({G, +}\right)$$ by the One-step Subgroup Test, and hence a submodule.