\begin{definition}[Definition:Polynomial Algebra]
Let $R$ be a ring.
Let $\Z \sqbrk X$ be the polynomial ring over the ring of integers $\Z$.
The '''polynomial algebra in one indeterminate''' over $R$ is the tensor product $R \otimes_\Z \Z \sqbrk X$.
{{expand}}
\end{definition}