Finitely supported \(\ast\)-simple complete ideals in a regular local ring (Q397973)

Let \((R, \mathfrak m)\) denote a commutative Noetherian regular local ring of dimension \(d\geq 2\). A proper ideal \(I\) of \(R\) is called \textit{simple} if \(I\neq JK\), for any proper ideals \(J\) and \(K\) of \(R\). An element \(r\in R\) is said to be \textit{integral} over \(I\) if \(r\) satisfies an equation of the form NEWLINE\[NEWLINEr^n+c_1r^{n-1}+\dots + c_n=0,NEWLINE\]NEWLINE where \(c_i\in I^i\). The set of all elements of \(R\) that are integral over \(I\) forms an ideal of \(R\), denoted by \(\bar{I}\) and called the \textit{integral closure} of \(I\). The ideal \(I\) is said to be \textit{complete} or \textit{integrally closed} if \(I=\bar{I}\).NEWLINENEWLINEIt is known that the product of two complete ideals in a two-dimensional regular local ring is again complete. This no longer holds in higher dimension. To consider the higher dimensional case, one defines for ideals \(I\) and \(J\) the \(*\)-product, \(I*J\) to be the completion of \(IJ\). A complete ideal \(I\) is said to be \(*\)-\textit{simple} if \(I\neq R\) and if \(I=J*K\) with ideals \(J\) and \(K\) of \(R\), implies that either \(J=R\) or \(K=R\).NEWLINENEWLINEIn this interesting paper, the authors studied the properties of special \(*\)-simple complete ideals such as their Rees valuation and point basis. They defined the monomial quadratic transforms of \(R\) and considered the transforms and inverse transforms of monomial ideals. Also, they showed that, for a large class of monomial ideals \(I\) that includes complete inverse transforms, the minimal number of generators of \(I\) is completely determined by the order of \(I\). Moreover, the authors have given necessary and sufficient conditions for the complete inverse transform of a \(*\)-product of monomial ideals to be the \(*\)-product of the complete inverse transforms of the factors. Finally, they showed that a finitely supported \(*\)-simple monomial ideal with linearly ordered base points is special \(*\)-simple.