dimension of a representation