No abstract

An integral domain is said to have the IDF property when every non-zero element of it has only a finite number of non-associate irreducible divisors. A counterexample has already been found showing that IDF property does not necessarily ascend in polynomial extensions.In this paper, we introduce a new class of integral domains, called MCD-finite domains, and show that for any domain D, D[X] is an IDF domain if and only if D is both IDF and MCD-finite. This result entails all the previously known sufficient conditions for the ascent of the IDF property.Our new characterization of polynomial domains with the IDF property enables us to use a different construction and build another counterexample which strengthen the previously known result on this matter.

We study some factorization properties of the idealization R(+)M of a module M in a commutative ring R which is not necessarily a domain. We show that R(+)M is ACCP if and only if R is ACCP and M satisfies ACC on its cyclic submodules, provided that M is finitely generated. We give an example to show that the BF property is not necessarily preserved in idealization, and give some conditions under which R(+)M is a BFR. We also characterize the idealization rings which are UFRs.