Skip to main content
added 1 characters in body
Source Link
Hailong Dao
  • 30.5k
  • 5
  • 102
  • 188

By modding out ${ann} (M)$ one can assume that $ann(M)=0$. Then the following is true:

$$I \subseteq ann(M/IM) \subseteq \bar I $$

Here $\bar I$ denotes the integral closure of $I$. You can prove it using the determinantal trick (the one used in the proof of Nakayama's Lemma). In particular equality happens if $I$ is integrally closed.

Now, a simple counter-example for the equality you wrote is $R=k[[x,y]]/(x^2-y^3)$ and $M$ be the ideal $(x,y)$. Then you can check that $y^2 \subseteq xM$$y^2M \subseteq xM$, thus $y^2 \in ann(M/xM)$. Note that $y^4-yx^2=0$, so $y^2 \in \overline{(x)}$.

By modding out ${ann} (M)$ one can assume that $ann(M)=0$. Then the following is true:

$$I \subseteq ann(M/IM) \subseteq \bar I $$

Here $\bar I$ denotes the integral closure of $I$. You can prove it using the determinantal trick (the one used in the proof of Nakayama's Lemma). In particular equality happens if $I$ is integrally closed.

Now, a simple counter-example for the equality you wrote is $R=k[[x,y]]/(x^2-y^3)$ and $M$ be the ideal $(x,y)$. Then you can check that $y^2 \subseteq xM$, thus $y^2 \in ann(M/xM)$. Note that $y^4-yx^2=0$, so $y^2 \in \overline{(x)}$.

By modding out ${ann} (M)$ one can assume that $ann(M)=0$. Then the following is true:

$$I \subseteq ann(M/IM) \subseteq \bar I $$

Here $\bar I$ denotes the integral closure of $I$. You can prove it using the determinantal trick (the one used in the proof of Nakayama's Lemma). In particular equality happens if $I$ is integrally closed.

Now, a simple counter-example for the equality you wrote is $R=k[[x,y]]/(x^2-y^3)$ and $M$ be the ideal $(x,y)$. Then you can check that $y^2M \subseteq xM$, thus $y^2 \in ann(M/xM)$. Note that $y^4-yx^2=0$, so $y^2 \in \overline{(x)}$.

Source Link
Hailong Dao
  • 30.5k
  • 5
  • 102
  • 188

By modding out ${ann} (M)$ one can assume that $ann(M)=0$. Then the following is true:

$$I \subseteq ann(M/IM) \subseteq \bar I $$

Here $\bar I$ denotes the integral closure of $I$. You can prove it using the determinantal trick (the one used in the proof of Nakayama's Lemma). In particular equality happens if $I$ is integrally closed.

Now, a simple counter-example for the equality you wrote is $R=k[[x,y]]/(x^2-y^3)$ and $M$ be the ideal $(x,y)$. Then you can check that $y^2 \subseteq xM$, thus $y^2 \in ann(M/xM)$. Note that $y^4-yx^2=0$, so $y^2 \in \overline{(x)}$.