\begin{definition}[Definition:Irreducible (Representation Theory)/G-Module]
A $G$-module is '''irreducible''' {{iff}} the corresponding linear representation is irreducible.
That is, any proper $G$-submodule is trivial.
\end{definition}