Dimension of a quotient space