Some factorization properties of idealization in commutative rings with zero divisors

Abstract

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