Definition:Irreducible (Representation Theory)/Linear Representation