1: \begin{definition}

2: Any finitely generated module $M$ over a principal ideal domain $R$ is the direct sum of cyclic modules

3: \[ F \oplus R/\langle a_1 \rangle \oplus \dots \oplus R/ \langle a_k \rangle\]

4: where $F$ is a free $R$-module and the $a_i \neq 1$ are defined modulo units in $R$ with $a_i$ dividing $a_{i+1}$ for all $i<k$. (See, for example, \cite[Theorem 6.3]{Grillet}.) The \emph{order} (of the torsion) of $M$ is defined to be the product of all the ideals $\langle a_i \rangle$.

5: \end{definition}

6: