Definition:Polynomial Ring/Monoid Ring on Natural Numbers

Definition
Let $R$ be a commutative ring with unity.

The polynomial ring over $R$ is the monoid ring $R[\N]$.

The $1$st canonical basis element is often denoted $X$, and plays the role of an indeterminate.