Noun
factor ideal (plural factor ideals) (algebra, ring theory) For given ring R, any ideal I such that Q = R / I, the set of cosets of elements of I in R, is a ring (the quotient ring of I in R).