Prüfer *-multiplication domains, Nagata rings, and Kronecker function rings (Q2470404): Difference between revisions

Let \(D\) be a domain with quotient field \(K\). Let \(\mathcal F (D)\) be the set of nonzero fractional ideals of \(R\) and let \(f (D)\) be the set of nonzero finitely generated fractional ideals of \(R\). A star-operation on \(R\) is a map \(\ast\): \(\mathcal F (R)\rightarrow \mathcal F (R) (I \rightarrow I^\ast)\) satisfying the following conditions for any \(0 \neq a \in K\) and \(I, J \in \mathcal F(R):\) (i) \((aD)^\ast = aD\) and \((aI)^\ast = aI^\ast \), (ii) \(I \subseteq I^\ast\) and if \(I \subseteq J\), then \(I^\ast \subseteq J^\ast\), (iii) \((I^\ast)^\ast = I^\ast\). Let \(\ast\) be a star-operation on \(R\) we have two induced star-operation on \(R\) defined by \(I^{w_f} = \bigcup\{J^\ast \mid J \subseteq I\) and \(J \in f (D)\}\) and \(I^{\ast_w} = \bigcup \{x\in K \mid xJ\subseteq I\) for some \(J \in f (D)\) with \(J^\ast = R\}\). A star-operation \(\ast\) on \(D\) is called endlich arithmetisch brauchbar (e.a.b.) if, for \(A, B, C \in f (D), (AB)^\ast\subseteq (AC)^\ast\) implies \(B^\ast\subseteq C^\ast\). For a star-operation \(\ast\), in this paper the conditions that \(D\) is a \(P\ast MD\) are investigated, for example, \(D\) is a \(P\ast MD\) if and only if \(\ast_{w}\) is an e.a.b. star-operation; if and only if each ideal of \(D[X]_{N_*}\) is extended from \(D\); where \(N_\ast\) is the multiplicatively closed set of \(D[X]\) of all polynomial \(g\) with \((A_f )^\ast = D\) (see Theorem 2.2, Theorem 2.3, and Theorem 3.7).