die Elemente von \( R[X] \) sind Ausdrücke der Art
\( p(X) = \sum_{i=0}^{d} a_i X^i \).
Für \( r \in R \) und \( p, q \in R[X] \) und \( d \in \mathbb{N}_0: d<\infty \) gilt
\( r ( p + q ) = r (\sum a_i X^i + \sum b_i X^i ) = r \sum a_i X^i + r \sum b_i X^i = r p + r q \).
Entsprechend einfach zu zeigen ist die Distributivität gemäß
\( ( r + s ) p = rp + sp \)
mit \( r, s \in R \) und \( p \in R[X] \). Es handelt sich um ein sehr triviales Rechengesetz.
Mister