If F is a compact orientable surface it is known that the Kauffman bracket
skein module of F x I has a multiplicative structure. Our central result is
the construction of a finite set of knots which generate the module as an
algebra. We can then define an integer valued invariant of compact orientab
le 3-manifolds which characterizes S-3.