die Elemente von R[X] sind Ausdrücke der Art
p(X)=∑i=0daiXi.
Für r∈R und p,q∈R[X] und d∈N0 : d<∞ gilt
r(p+q)=r(∑aiXi+∑biXi)=r∑aiXi+r∑biXi=rp+rq.
Entsprechend einfach zu zeigen ist die Distributivität gemäß
(r+s)p=rp+sp
mit r,s∈R und p∈R[X]. Es handelt sich um ein sehr triviales Rechengesetz.
Mister