1: \begin{abstract}

2: The Kauffman bracket skein module $K(M)$ of a 3-manifold $M$ is

3: defined over formal power series in the variable $h$ by letting

4: $A=e^{h/4}$. For a compact oriented surface $F$, it is shown that $K(F

5: \times I)$ is a quantization of the $\g$-characters of the fundamental

6: group of $F$, corresponding to a geometrically defined Poisson

7: bracket. Finite type invariants for unoriented knots and links are

8: defined.  Topologically free Kauffman bracket modules are shown to

9: generate finite type invariants.  It is shown for compact $M$ that

10: $K(M)$ can be generated as a module by  cables on a finite set of

11: knots. Moreover, if $M$ contains no incompressible surfaces, the

12: module is finitely generated.

13: \keywords{Knot, Link, 3-manifold, Skein module, Character theory}

14: \end{abstract}

15: