1: \begin{definition}

2: We say that a $\Z[\Z]$-module which satisfies (a),(b) and (c) of Theorem \ref{Thm:Levinemodule} is an Alexander module, and denote the class of Alexander modules by $\mathcal{A}$.

3: \qed\end{definition}