Задача о принадлежности идеалу
Ushbu maqola idealga tegishlilik masalasini hal qilishga bag'ishlangan bo'lib, unda ko'p o'zgaruvchili polinomlar uchun bo'linish algoritmi ko'rib chiqiladi. Bir o'zgaruvchili polinomlar uchun bo'linish algoritmi idealga tegishlilik masalasini hal qilishda qo'llanilishi mumkin. Maqolada k[x1,...,xn] polinom halqasida bo'linish algoritmi batafsil yoritilgan, ya'ni f polinomni f = a1f₁ + … + asfs + r ko'rinishida ifodalash usuli ko'rsatilgan, bu erda a₁,...., a_s "xususiy" qismlar va r qoldiq k[x₁, ...., xn] ga tegishli. Maqolada monom tartiblash tushunchasi, leksikografik tartiblash, bo'linish algoritmining xususiyatlari va idealga tegishlilik masalasini hal qilishdagi ahamiyati ko'rsatilgan. Shuningdek, bo'linish algoritmining mukammal umumlashtirish emasligi va idealga tegishlilikning zaruriy va etarli sharti r = 0 bo'lishi muhimligi ta'kidlangan.