Let be a reduced affine -algebra, with corresponding affine algebraic set . Let be the ring of continuous (Euclidean topology) -valued functions on . Brenner defined the \emph{continuous closure} of an ideal as $I\mathcal C(X) \cap RI^{\rm ax}I^{\rm cont}$, and asked whether they coincide. We extend the notion of axes closure to general Noetherian rings, defining $f \in I^{\rm ax}ISR \to SS$ is a one-dimensional complete seminormal local ring. We also introduce the \emph{natural closure} of . One of many characterizations is . We show that , and that when continuous closure is defined, . Under mild hypotheses on the ring, we show that when is primary to a maximal ideal, and that if has no embedded primes, then $I = I^\naturalI = I^{\rm ax}I^{\rm cont}$ agrees as well. We deduce that in the polynomial ring , if at all points where all of the are 0, then $f \in ( {\partial f \over \partial x_1}, , \ldots, , {\partial f \over \partial x_n})RI^{\rm cont}$ for monomial ideals in polynomial rings over , but we show that the inequalities and can be strict for monomial ideals even in dimension 3. Thus, and need not agree, although we prove they are equal in $\mathbb C[x_1, x_2]$.

生成讲解博客的中文版本

生成AI智能校验的中文版本