Definition:Irreducible (Representation Theory)/G-Module

In Equivalence of Representation Definitions, it is shown that linear representations and $G$-modules are bijective.

Definition of Irreducible G-Module
And a $G$-module is irreducible iff the corresponding linear representation is irreducible.