Abstract: The Kauffman skein module is a 3-manifold invariant. We will give an overview of its computation for the complement of certain torus knots. Then, we will use the skein module to show that the noncommutative A-ideal (a generalization of the A-polynomial) is non-trivial.