quotient solvable