Definition:Irreducible (Representation Theory)