ein Polynom \begin{eqnarray}f(X)={a}_{x}{X}^{n}+{a}_{n-1}{X}^{n-1}+\cdots +{a}_{1}X+{a}_{0}\end{eqnarray}

über einem nullteilerfreien Ring mit 1, für das der größte gemeinsame Teiler aller Koeffizienten a_i, i = 0, 1, …, n, gleich 1 (bzw. eine Einheit) ist.