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 Existence of Bijection between Linear Group Action and Linear Representation, it is shown that linear representations and $G$-modules are bijective.