1: \begin{abstract}

2: We establish a 3-manifold invariant for each finite-dimensional, involutory

3: Hopf algebra.  If the Hopf algebra is the group algebra of a group $G$, the

4: invariant counts homomorphisms from the fundamental group of the manifold to

5: $G$.  The invariant can be viewed as a state model on a Heegaard diagram or a

6: triangulation of the manifold.  The computation of the invariant involves

7: tensor products and contractions of the structure tensors of the algebra.  We

8: show that every formal expression involving these tensors corresponds to a

9: unique 3-manifold modulo a well-understood equivalence.  This raises the

10: possibility of an algorithm which can determine whether two given 3-manifolds

11: are homeomorphic.

12: \end{abstract}

13: