ideal quotient