CM for radical ideal It is not true, but the example is not easy to find $I = (x_2^2-x_4x_5,x_1x_3-x_3x_4, x_3x_4-x_1x_5)$!