factor ideals