Set of Linear Transformations over Commutative Ring forms Submodule of Module of All Mappings/Unitary

Theorem
Let $R$ be a commutative ring with unity whose unity is $1_R$.

Let $\struct {G, +_G, \circ}_R$ and $\struct {H, +_H, \circ}_R$ be $R$-modules.

Let $\map {\LL_R} {G, H}$ be the set of all linear transformations from $G$ to $H$.

Let $\struct {H, +_H, \circ}_R$ be a unitary module.

Then $\map {\LL_R} {G, H}$ is also a unitary module.

Proof
From Set of Linear Transformations over Commutative Ring forms Submodule of Module of All Mappings, $\map {\LL_R} {G, H}$ is a module.

It remains to be shown that $\map {\LL_R} {G, H}$ is a unitary module, that is:


 * $\forall \phi \in \map {\LL_R} {G, H}: 1_R \circ \phi = \phi$

So, let $\struct {H, +_H, \circ}_R$ be a unitary $R$-module.

Then, by :
 * $\forall x \in H: 1_R \circ x = x$

Thus:

Hence the result.