User:Linus44/Sandbox

Theorem
Let $\left({R, +,  \circ}\right)$ be a   commutative ring with unity   with  additive identity $0_R$ and  multiplicative identity $1_R$.

Let $A=R  \left[\{{X_j : j \in J}\}\right]$ be the set of all    polynomials over $R$ in  the indeterminates   $\{{X_j:j\in J}\}$.

For $x\in R$, let $\phi_x: R \left[\left\{{X_j: j \in J}\right\}\right] \to R$ be the   Evaluation Homomorphism from the ring  of  polynomial forms at $x$.

For $f\in A$, the polynomial function associated to $f$ is the mapping $R^J \to R$:


 * $\left\{{\left({x, \phi_x \left({f}\right)}\right): x \in R^J}\right\} \subseteq R^J \times R$

We let $\theta$ denote the mapping from polynomial forms to polynomial functions