Definition:Irreducible Linear Representation