Infinite cyclic cover of a knot exterior
= Infinite cyclic cover of a knot exterior
{title2=$\widetilde 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^{\pm1}]$.
= Infinite cyclic cover
{synonym}