The weak subintegral closure of an ideal (Q1304898)

\textit{H. Yanagihara} [Kobe J. Math. 2, 89-98 (1985; Zbl 0586.13006)] defined an extension \(A\subseteq B\) of commutative rings to be weakly subintegral if \(B\) is integral over \(A\) and if the induced map \(\text{Spec} (B)\to \text{Spec} (A)\) is a bijection and makes the residue field extensions purely inseparable. There exists a largest extension \({}_B^* A\) of \(A\) in \(B\) such that \(A\subseteq {}_B^* A\) is weakly subintegral. \textit{L. Reid, L. G. Roberts} and \textit{B. Singh} [J. Pure Appl. Algebra 114, 93-109 (1996; Zbl 0898.13016)] have shown that an element \(b\in B\) is weakly subintegral over \(A\) (that is, \(A \subseteq A[b]\) is weakly subintegral) iff there exist an integer \(p\geq 0\) and elements \(a_1,\dots, a_{2p+1}\in A\) such that \(b^n+ \sum_{i=1}^n (-1)^i \binom ni a_i b^{n-1}=0\) for \(p+1\leq n\leq 2p+1\). In the same paper, it was shown that \({}_B^* A\) is the set of all elements of \(B\) which are weakly subintegral over \(A\). Let \(I\) be an ideal of \(A\). In the paper under review, the authors define an element \(b\in B\) to be weakly subintegral over \(I\) if there exists an integer \(p\geq 0\) and elements \(a_i\in I^i\) \((1\leq i\leq 2p+1)\) such that \(b^n+ \sum_{i=1}^n \binom ni a_i b^{n-i}= 0\) for \(p+1\leq n\leq 2p+1\). Let \({}_B^* I\) denote the set of all elements of \(B\) that are weakly subintegral over \(I\) and \({}^* I= {}_A^* I\). The authors show that \({}_B^* I\) is an ideal of \({}_B^* A\), \({}^{**} I= {}^*I\) and \({}_S^* R= \bigoplus_{n\geq 0} {}_B^*(I^n) t^n\), where \(t\) is an indeterminate, \(S= B[t]\) and \(R= A[It]\) is the Rees ring. Examples that distinguish \({}^*I\), the integral closure of \(I\) and \(\sqrt{I}\) are also included.