Module is Submodule of Itself

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $\left({G, +_G, \circ}\right)_R$ be an $R$-module.


Then $\left({G, +_G, \circ}\right)_R$ is a submodule of itself.


Proof

Follows directly from the fact that a group is a subgroup of itself.

$\blacksquare$


Sources