Definition:Irreducible (Representation Theory)/G-Module