Scalar Product with Identity

Theorem
Let $\struct {G, +_G}$ be an abelian group whose identity is $e$.

Let $\struct {R, +_R, \times_R}$ be a ring whose zero is $0_R$.

Let $\struct {G, +_G, \circ}\_R$ be an $R$-module.

Let $x \in G, \lambda \in R$.

Then:
 * $\lambda \circ e = 0_R \circ x = e$

Proof
From Module: $(1)$, $y \to \lambda \circ y$ is an endomorphism of $\struct {G, +_G}$.

From Module: $(2)$, $\mu \to \mu \circ x$ is a homomorphism from $\struct {R, +_R}$ to $\struct {G, +_G}$.

The result follows from Homomorphism with Cancellable Codomain Preserves Identity.