Definition:G-Submodule

Definition
Let $\left({G, \cdot}\right)$ be a finite group.

Let $\left({V, \phi}\right)$ be a $G$-module.

Let $\phi$ be a linear group action when restricted to $G \times W \subseteq G \times V$.

Then $W$ a vector subspace of $V$ is a $G$-submodule.

Remark
$\forall g\in G,\ \forall w\in W,\ \phi(g,w)\in V$; so $W$ is a $G$-submodule if $\phi(G,W)\subseteq W$.