 Invariant submodule

For a group $G$ acting on a module $M$, the invariant submodule is $M^G=\{m\in M:g\cdot m=m\text{ for all }g\in G\}$.