factor ideal noun1 •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).Consequently, we may speak of the sequence of invariant factor ideals of a finitely generated unitary module over a principal ideal domain A. — 1965 formsfactor ideals
