Skip to main content
3 of 3
added 2 characters in body

When is the following sequence exact?

Let $R:=\mathbb{Z}_2[w_1,\ldots,w_n]$, $I$ some ideal in $R$ and $A=R/I$. I would very much want to show that a sequence of the form:

$0\to A/(\alpha)\overset{\cdot\beta}{\to}A/(\alpha\beta)\overset{id}{\to}A/(\beta)\to 0$

is a SES of $R$ Modules.

In order to prove the injectivity of the first homomorphism (which is the tricky part), it would suffice to show that $(\beta)\cap I=(\beta)\cdot I$. Thus, the main question is if there exists a well documented notion for two ideals $I,J$ to satisfy $I\cap J$=$I\cdot J$.

Of course some cases are known. If the ideals are coprime for example, or if they are both radical, the desired property follows. I have found the very same question here, but since that question was motivated by algebraic-geometry, the answer about the $Tor$ functor seems to have covered the topic.

Does this property even have a name? Do there exist closure results like: If $I=(a)$ and $J=(b_1,b_2)$ have this property, then $I$ and $J'=(b_1,rb_2+r'a)$ have this property as well (for some good choices of $r,r'$). (which incidentally is a lemma that would solve my SES problem, due to the exact choice of $I$ and $\beta$)

If the answer to all these is just "only what you've already found in the link seems to be documented", then my follow-up question is if someone has an idea when the sequence in the beginning is exact and how I could proceed, without messing around with the above mentioned property. (I have tried to go through localizations for example, but since I am not that familiar with the topic, I quickly got stuck)

If it is needed, I could elaborate on the choice of $I$,$\alpha$ and $\beta$.