Полиномиальная интерполяция над кольцами вычетов $Z_n$

Мы рассматриваем задачу полиномиальной интерполяции в кольцах вычетов $Z_n$. Случай общего $n$ легко сводится к случаю $p^k$ с помощью китайской теоремы об остатках. Однако в отличие от задачи интерполяции над полем, где результат может быть получен с помощью интерполяционной формулы Лагранжа, в случае кольца задача значительно сложнее. Не всякая функция над кольцом вычетов может быть представлена полиномом, а интерполяционный полином, если он все-таки существует, не является единственным. Полиномы, представляющие нулевую функцию, – так называемые нуль-полиномы – образуют идеал, не являющийся главным. С помощью системы Singular мы вычисляем базисы Грёбнера идеала нуль-полиномов в кольцах вычетов. Эти базисы позволяют приводить результат интерполяции к канонической форме, а также проверять имеющиеся теоретические оценки степени минимального нормированного нуль-полинома. Также мы описываем связь оценок мощности минимальных интерполяционных множеств, введенных в работе Гопалана, с оценками количества пермутационных полиномиальных функций над $Z_n$. В частности, выводится рекуррентная формула для количества пермутационных полиномиальных функций над кольцом вычетов. Библ. – 3 назв.