Ideallarning Gryobner bazislarining haqiqiy ahamiyati shundan iboratki, ularni hisoblash mumkin. Bruno Buxberger o’zining ustozi Volfgang Gryobnerning ilmiy ishlarining ta’sirida 1965 yil fanga Gryobner bazislari tushunchasini kiritdi. Shunday bazislarni hisoblashning Buxbereger algoritmi polinomial xalqalar nazariyasiga qo’shilgan muhim hissa bo’ldi. Biz bu ishda ushbu algoritmni to’liq bermaymiz. Ushbu ishda idealning bazisi qanday shartlarda Gryobner bazisi tashkil qilishi haqidagi tasdiqlar va misol keltiriladi. Algoritmni to’liq o’rganish uchun Кoкс, Литтл va O’шиlarning monografiyasiga [2] murojaat qilish mumkin.
2022-10-17