Infinite cyclic cover of a knot exterior (${\tilde{E}}_K$)

The infinite cyclic cover corresponds to the kernel of the abelianization ${\pi }_1(E_K)\to \mathbb{Z}$. Its deck group is generated by $t$, so its cellular chains and homology are modules over $\mathbb{Z}[t^{\pm 1}]$.