Abstract. Ushbu maqolada biz. I=<f_1,…,f_s>⊂k[x_1,x_2,…,x_n ] -ideal berilgan bo‘lsin. U holda I_l ideal k[x_(l+1),…,x_n ] ning l tartibgacha yo’qotilgan ideali deyiladi. I_l=I∩k[x_(l+1),…,x_n ]. Boshqacha aytganda, I_l ideal f_1=⋯=f_s=0, tenglamalar sistemasini natijalaridir, bunda ular x_1,…,x_l ,noma’lumlarga bo‘liq bo’lmagan polinomlar. Bizning vazifa I_l ni k[x_(l+1),…,x_n ] polinomial halqaning idealini tashkil qilishini ko‘rsatish.Ushbu I=I_0, ideal nolinchi yo’qotilgan ideali deyiladi. Keyinchalik tartiblashni o‘zgartirib boshqa bir yo’qotilgan idealga ega bo‘lamiz.