# Definition:Irreducible (Representation Theory)/G-Module

A $G$-module is irreducible if and only if the corresponding linear representation is irreducible.
That is, any proper $G$-submodule is trivial.