Let us consider R , G , H . Let us consider R , G , H . Note that there exists a morphism from G to H which is strict. Let f be a left module morphism structure over R . Then f is a morphism from G to H .
G is linear.
Let us consider R , G . Let us consider R , G , H . Then ZERO G is a strict morphism from G to H . Let F be a morphism from G to H . For every left module morphism F of R there exist G , H such that F is a morphism from G to H .