Factoring ideals in Prüfer domains (Q2371807)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Factoring ideals in Prüfer domains |
scientific article |
Statements
Factoring ideals in Prüfer domains (English)
0 references
9 July 2007
0 references
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.
0 references
Prüfer domains
0 references
\(h\)-local
0 references
Dedekind domains
0 references