Definition:Irreducible (Representation Theory)

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