Strong non-noetherity of polynomial reduction

Хорошо известно, что отношение редукции полиномов относительно маркированного множества полиномов нётерово тогда и только тогда, когда маркировка индуцируется допустимым мономиальным порядком. Для конечных наборов полиномов и порядков не являющихся допустимыми А. Ривсом и Б. Штурмфельсом доказано существование бесконечных последовательностей редукций. С помощью разработанного нами пакета программ для изучения комбинаторики мономиальных порядков мы строим примеры полиномов, для которых любая последовательность редукций бесконечна. Библ. – 3 назв.