Definition:Irreducible (Representation Theory)

Also see
In Existence of Bijection between Linear Group Action and Linear Representation, it is shown that linear representations and $G$-modules are bijective.