Graded integral domains and Nagata rings (Q2438895): Difference between revisions

Let \(R=\sum_{\alpha\in \Gamma}R_{\alpha}\) be an integral domain graded by an arbitrary torsionless grading monoid \(\Gamma\). For any \(f\in R\), let \(\mathcal{C}(f)\) denote the fractional ideal of \(R\) generated by the homogeneous components of \(f\). The \(\nu\)-operation is defined by \(I_{\nu}=(I^{-1})^{-1}\). Let \(H\) be the set of nonzero homogeneous elements of \(R\), and \(N(H)=\{0\neq f\in R|\mathcal{C}(f)_{\nu}=R\}\). The authors study the relationships between ideal-theoretic properties of \(R_{N(H)}\) and the homogeneous ideal-theoretic properties of \(R\). In particular, they show that \(R\) is a graded Krull domain iff \(R_{N(H)}\) is a PID, iff \(R_{N(H)}\) is a Dedekind domain. In Section 3 the authors study graded integral domains with a unit of nonzero degree. One of the main results of this section: Theorem. The following statements are equivalent for a graded integral domain \(R=\bigoplus_{\alpha\in \Gamma}R_{\alpha}\) with a unit of nonzero degree. (1) \(R\) is a PvMD. (2) Every ideal of \(R_{N(H)}\) is extended from a homogeneous ideal of \(R\). (3) Every principal ideal of \(R_{N(H)}\) is extended from a homogeneous ideal of \(R\). (4) \(R\) is integrally closed and \(I_t=IR_{N(H)}\cap R\) for every nonzero homogeneous ideal \(I\) of \(R\). (5) \(R_{N(H)}\) is a Prüfer domain. (6) \(R_{N(H)}\) is a Bézout domain.