Sia A un anello commutativo e unitario.

Per anello dei polinomi nella variabile x su A, da denotarsi

con A[x], si intende l’insieme dei simboli formali :

               f(x) = a₀ + a₁x + a₂x² +…+ a_nxⁿ +… ,

dove a₀, a₁, a₂, … sono elementi di A tali che solo un numero

finito di essi è diverso da zero.