Definition:Irreducible (Representation Theory)/G-Module

Definition
A $G$-module is irreducible the corresponding linear representation is irreducible.

That is, any proper $G$-submodule is trivial.

Also see
In Correspondence between Linear Group Actions and Linear Representations, it is shown that linear representations and $G$-modules are bijective.