-super potent domains

From MaRDI portal
Publication:2219240



Abstract: For a finite-type star operation star on a domain R, we say that R is star-super potent if each maximal star-ideal of R contains a finitely generated ideal I such that (1) I is contained in no other maximal star-ideal of R and (2) J is star-invertible for every finitely generated ideal JsupseteqI. Examples of t-super potent domains include domains each of whose maximal t-ideals is t-invertible (e.g., Krull domains). We show that if the domain R is star-super potent for some finite-type star operation star, then R is t-super potent, we study t-super potency in polynomial rings and pullbacks, and we prove that a domain R is a generalized Krull domain if and only if it is %t-super potent and has t-dimension one.


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.











This page was built for publication: \(\star\)-super potent domains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2219240)