\begin{definition}[Definition:Monic Polynomial/Polynomial Form]
Let $R$ be a commutative ring with unity $1_R$.
Let $f = a_0 + a_1 X + \cdots + a_{r-1} X^{r-1} + a_r X^r$ be a polynomial from in the single indeterminate $X$ over $R$.
Then $f$ is '''monic''' if the leading coefficient of $f$ is $1_R$.
Category:Definitions/Monic Polynomials
\end{definition}