Semistar ascending chain conditions over polynomial rings (Q6060397): Difference between revisions

Let \(D\) be an integral domain with quotient field \(K\) and \(\overline{F}(D)\) the set of all nonzero \(D-\)submodules of \(K\) and \(f(D)\) the set of all nonzero finitely generated \(D-\)submodules of \(K\). A semistar operation on \(D\) is a map \(*:\overline{F}(D)\longrightarrow \overline{F}(D)\); \(E\longrightarrow E^*\), such that for all \(0\not=x\in K\) and for all \(E,F\in \overline{F}(D)\), the following properties hold: (1) \((xE)^*=xE^*\). (2) If \(E\subseteq F\) then \(E^*\subseteq F^*\). (3) \(E\subseteq E^*\) and \(E^{**}=(E^*)^*=E^*\). The semistar \(*\) is said to be stable if \((E\cap F)^*=E^*\cap F^*\). To each semistar operation \(*\) on \(D\), we associate another semistar operation \(*_f\), defined for each \(E\in\overline{F}(D)\) by \(*_f(E)=\cup\{F^*;F\in f(D), F\subseteq E\}\). We say that \(*\) is of finite type if \(*=*_f\). An ideal \(I\) of \(D\) is called quasi-\(*\)-ideal if \(I=I^*\cap D\). For \(I,J\in\overline{F}(D)\), let \((I:J)=\{d\in K; dJ\subseteq I\}\). We can define a semistar operation \(\tilde *\) on \(D\) by \(E^{\tilde *}=\cup\{(E:_KJ); J^{*_f}=D^{*_f}\}\) for each \(E\in\overline{F}(D)\). Recall that \textit{G. Picozza}, in his paper [Houston J. Math. 33, No. 2, 415--432 (2007; Zbl 1114.13006)], associated to each semistar operation \(*\) on \(D\) a semistar operation \(*_1\) on the polynomial domain \(D[X]\). Now, it is well known that many interesting ring theoretic properties may be characterized by means of ascending chain condition on some type of ideals of the concerned ring. In connection with the paper under review, the authors consider rings satisfying the ascending chain condition on ideals having properties defined in terms of semistar operations. They start by defining a domain \(D\) to have the \(*-accr\) property if it satisfies the ascending chain condition on ideals of the form \((N:B^k)_{k\in\mathbb{N}}\) where \(N\) is a quasi-\(*\)-ideal of \(D\) and \(B\) a finitely generated ideal of \(D\). They prove that \(D\) is \(\tilde *-\)Noetherian if and only if \(D[X]\) is \(*_1-accr\). The main result of the paper is the equivalence between the following properties (1) \(D\) satisfies ACC on radical quasi-\(\tilde *\)-ideals. (2) \(D[X]\) satisfies ACC on radical quasi-\(*_1\)-ideals. (3) \(D[X]\) satisfies ACC on radical quasi-\(*_{\Delta}\)-ideals. (4) \(N_a(D,\tilde *)\) satisfies ACC on radical ideals.