quotient ring

construction in abstract algebra