Деление многочленов

Деление с остатком

Предложение 1. Пусть $A$ — целостное кольцо, $g=a_0+a_1T+\ldots+a_nT^n$ — многочлен в кольце многочленов от одной переменной $A[T]$ , причем $a_n$ обратим в $A$ . Тогда многочлен $f$ единственным образом можно представить в виде