Definition:Irreducible G-Module