Factoring ideals in Prüfer domains (Q2371807): Difference between revisions

The authors consider \(h\)-local Prüfer domains. A Prüfer domain \(R\) has the strong factorization property if for each nonzero ideal \(I\) of \(R\), we have (1) \(I= I^\nu M_1\cdots M_n\), where \(M_1,\dots, M_n\) are precisely the nondivisorial maximal ideals of \(R\) which contain \(I\) for which \(IR_M\) is nondivisorial and (2) this factorization is unique in the sense that no \(M_i\) can be omitted. They show that a Prüfer domain \(R\) has the strong factorization property if and only if \(R\) is \(h\)-local if and only if for each nonzero ideal \(I\) of \(R\), \(I\) is divisorial if and only if \(IR_M\) is divisorial in \(R_M\) for each maximal ideal \(M\) of \(R\). A Prüfer domain \(R\) has the weak factorization property if each nonzero ideal \(I\) can be written as \(I= I^\nu II\), where \(II\) is a (finite) product of (not necessarily distinct) maximal ideals. The authors show that a Prüfer domain of finite character with the weak factorization property is \(h\)-local. Nice examples of Prüfer domains which satisfy of these factorization properties are given.