7

1

Let $R$ be a commutative Noetherian ring, $\mathfrak{a}$ an ideal and $x, y$ elements. Is it true that $$\mathfrak{a}(\mathfrak{a}:x) \cap \mathfrak{a}(\mathfrak{a}:y) = \mathfrak{a}(\mathfrak{a}:(x,y))?$$

flag
2 
Acutally, I voted to close this, but I then realized that it was not as trivial as I thought. Sorry! I'd retract my vote to close if I could... – Andy Putman Jan 31 at 16:01
I need this equation for my problem. However, I think it should have a counterexample. – Pham Hung Quy Jan 31 at 16:26
4 
It is true that $(\mathfrak{a}:x)\cap(\mathfrak{a}:y)=(\mathfrak{a}:(x,y))$ (see Atiyah-Macdonald p. 8, Ex. 1.12(v)). So the question is, what happens after both sides are multiplied by $\mathfrak{a}$? – Mahdi Majidi-Zolbanin Jan 31 at 17:03
1 
Let $R=\mathbb{C}[a,b,x,y]/\langle abx-aby\rangle$. And let $\mathfrak{a}=\langle ax,by\rangle$. Now $aby\in \mathfrak{a}(\mathfrak{a}:x)\cap \mathfrak{a}(\mathfrak{a}:y)$ but $aby\notin \mathfrak{a}(\mathfrak{a}:\langle x,y\rangle)$. This should be your counterexample. – Patrik Feb 1 at 14:37
2 
That's a nice example. Why don't you post that as an answer? – Mahdi Majidi-Zolbanin Feb 1 at 16:30

1 Answer

8

No it is not true.

Let $R=\mathbb{K}[a,b,x,y]/\langle abx-aby\rangle$ and $\mathfrak{a}=\langle ax,by\rangle$.

Now $abx\in\mathfrak{a}(\mathfrak{a}:x)\cap\mathfrak{a}(\mathfrak{a}:y)$ but $abx\notin\mathfrak{a}(\mathfrak{a}:\langle x,y\rangle)$.

link|flag

Your Answer

Get an OpenID
or

Not the answer you're looking for? Browse other questions tagged or ask your own question.