\begin{definition}[Definition:Characteristic Polynomial of Linear Operator]
Let $A$ be a commutative ring with unity.
Let $M$ be a free module over $A$ of finite rank $n > 0$.
Let $\phi : M \to M$ be a linear operator.
\end{definition}