Definition:Irreducible (Representation Theory)

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