Not a radical ideal

Question

Is there a method to compute the radical of an ideal? for example take $J=(xw-y^{2},xw^{2}-z^{3}) \subset k[x,y,z,w]$. I want to show $J$ is not radical, I guess the idea is to add and substract terms until we get something which is in the radical but not in $J$. However I don't see the trick for this particular case. Can you please help?

Answer 1

I think your ideal is radical. To prove that, you can compute the singular locus of the associated variety, using jacobian criterion. If its codimension at each point is at least one, then your variety is reduced, and hence your ideal is radical.

All these computation can be done with a commutative algebra software. For example, using Macaulay2 :

i18 : R = QQ[w .. z]

o18 = R

o18 : PolynomialRing

i19 : I = ideal( x*w - y^2, x*w^2-z^3 )

                    2   2     3
o19 = ideal (w*x - y , w x - z )

o19 : Ideal of R

i20 : primaryDecomposition I

                     2     2    3
o20 = {ideal (w*x - y , w*y  - z )}

o20 : List

i21 : radical I == I

o21 = true

i22 : dim I

o22 = 2

i23 : dim singularLocus I

o23 = 1