\(\star\)-super potent domains (Q2219240): Difference between revisions

Let \(R\) be a commutative integral domain and \(\ast \) a finite type star operation on \(R.\) \(R\) is said to be \(\ast \)-super potent if each maximal \( \ast \)-ideal of \(R\) contains a finitely generated ideal \(I\) such that \(I\) is contained in no other maximal \(\ast \)-ideal of \(R\) and every finitely generated ideal containing \(I\) is \(\ast \)-invertible. Many properties of \(\ast \)-super potency are studied. The authors show among others that if \(\ast _{1}\leq \ast _{2}\) are two star operations of finite type on \(R,\) and if \(R\) is \(\ast _{1}\)-super potent then it is also \(\ast _{2}\)-super potent. As a consequence the weakest type of \(\ast \)- super potency is \(t\)-super potency. Local super potency is also investigated. They prove that if \((R,M)\) is a local domain which is not a field then \(R\) is \(d\)-super potent if and only if there is a prime ideal \(P\subsetneq M\) such that \(P=PR_{P}\) and \(R_{/P}\) is a valuation domain. Moreover \(R\) is \(t\)-super potent if and only if the polynomial ring \(R[X]\) is \(t\)-super potent. They also study \(t\)-super potency in commonly studied type of pullback diagrams. Finally they prove that \(R\) is a generalized Krull domain if and only if it is \(t\)-super potent and every maximal \(t\)-ideal of \(R\) has height one.