Module is Submodule of Itself

From ProofWiki
Jump to navigation Jump to search

Theorem

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


Then $\struct {G, +_G, \circ}_R$ is a submodule of itself.


Proof

Follows directly from Group is Subgroup of Itself.

$\blacksquare$


Sources