Dimostrazione

Si tratta di verificare gli assiomi che definiscono un anello associativo.

Dimostriamo quello sull’associatività della moltiplicazione:

prendiamo tre polinomi in A[x]: f(x), g(x), h(x) e controlliamo che (f(x)g(x))h(x) = f(x)(g(x)h(x)):

(c.v.d.)