No label defined (Q4028066)

[For the entire collection see Zbl 0747.00024.] Let \(M\) denote an oriented 3-manifold, \({\mathcal L}\) the ambient isotopy classes of oriented links in \(M\). Let \(R_ Z=Z[v^{\pm 1},z^{\pm 1}]\), and \(R_ Z{\mathcal L}\) be the free \(R_ Z\) module over \({\mathcal L}\). Let \(S_ 3\) denote the submodule of \(R_ Z{\mathcal L}\) generated by the ``usual'' skein relations involving two simple crossings and a noncrossing. Then the skein module is \(S_ 3(M)=R_ Z{\mathcal L}/S_ 3\). Let \(F\) denote a compact planar surface. The author proves \(S_ 3(F\times I)\) is an infinitely generated free \(R_ Z\) module with a ``natural'' basis consisting, roughly speaking, of representatives of conjugacy classes in \(\pi_ 1(F)\). This generalizes earlier results of \textit{Hoste}, \textit{Kidwell}, and \textit{Turaev}, and settles a conjecture of the author.