For a 3-manifold \(M\)  and indeterminate \(A\) , let \({L}(M)\)  be the free \(\mathbb {Z}[A^{\pm 1}]\) -module generated by regular isotopy classes of framed links in \(M\) . The Kauffman bracket skein module of \(M\)  [1]}, [2]}, \({S}(M)\) , is the quotient of \({L}(M)\)  by the submodule generated by the following two relations:
