I've the ring $A=k[x,y,z]/(z^2-xy)$ and the ideal $I=(x,y)^2$. How do I check if $I$ is prime in $A$? I know that $(x,y)$ is a prime ideal as $A/(x,y)$ is isomorphic to $k[z]$ but that does not imply $(x,y)^2$ is primary. So, how do I show that $(x,y)^2$ is primary in $A$? In fact, I think it's $(x,y)$ primary. Is that true?
2026-04-30 09:16:03.1777540563
On
BEST ANSWER
How to check if an ideal is primary
457 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
0
On
BEST ANSWER
- $z\cdot z\in I$ but $z\notin I$, so $I$ is not a prime ideal.
- By the same reason, neither $(x,y)\ $ is a prime ideal in $A$ (and $A/(x,y)\cong k[z]/(z^2)$ instead).
- Note that elements of $A$ can be written as (represented by) polynomials $f_0\ +\ f_1\cdot z$ where $f_0,f_1\in k[x,y]$. Use this to prove that both $(x,y)$ and $I=(x,y)^2=(x^2,xy,y^2)\ $ are primary.