Skip to main content
2 of 2
Link syntax
LSpice
  • 12.9k
  • 4
  • 45
  • 69

$S/I$-freeness of $I/I^2$ vs $I/I^{(2)}$, where $I$ is a radical ideal of regular local ring $S$

Let $I$ be a radical ideal of a regular local ring $S$. Put $R:=S/I$. Let $I^{(n)}$ be the $n$-th symbolic power of $I$. It is well-known that $I^n \subseteq I^{(n)}$.

Is it true that $I/I^2$ is $R$-free if and only if $I/I^{(2)}$ is $R$-free?

uno
  • 412
  • 1
  • 4
  • 10