理想的*-核的一个公式

在Fouli和Vassilev工作\cite{FV}的基础上，我们在两种不同设定下确定了理想的*-$\rm{core}$的一个公式：(1)在特征$p>0$、完美剩余域且测试理想深度至少为2的Cohen-Macaulay局部环中，该理想具有一个最小*-约化且该约化是参数理想；(2)在特征$p>0$、完美剩余域且$\m$-准素测试理想的正常局部域中，该理想是某个理想的足够高Frobenius幂。我们还展示了一些例子，说明如果我们的假设不满足，公式会失效。