Многочлены над кольцом классов вычетов

В школьной алгебре одночленом от некоторой буквы x называется алгебраическое выражение вида , где a - некоторое число, x - буква, m - целое неотрицательное число. Одночлен отождествляется с числом a, так что числа рассматриваются как одночлены. Далее, одночлены называются подобными, если показатели при букве x одинаковы. Подобные одночлены складываются по правилу , называемому приведением подобных членов. Многочленом или полиномом называется алгебраическая сумма одночленов. В полиноме порядок слагаемых безразличен, и подобные одночлены можно соединить, согласно приведению подобных членов. Поэтому любой полином можно записать в канонической форме , с расположением членов в порядке убывания показателей. Иногда оказывается удобным записывать члены полинома в порядке возрастания показателей.

Два полинома называются формально равными, если они, в канонической записи, составлены из одинаковых одночленов. Ясно, что формально равные полиномы равны тождественно, т.е. принимают одинаковые значения при каждом значении буквы x. Обратное утверждение, вообще говоря, неверно.

Наша задача сейчас состоит в том, чтобы несколько расширить понятие полинома. Пусть K - некоторое коммутативное ассоциативное кольцо с единицей, и пусть x - буква, посторонняя для кольца K. Одночленом от буквы x с коэффициентом из K называется выражение , где , m - целое неотрицательное число. Считается, что , так что элементы кольца K являются одночленами частного вида. Выражение рассматривается как формальная запись. Для одночленов естественным образом определяются действие приведения подобных членов и действия умножения .