文摘
We have defined the weight of the pair (〈S∣R〉,R) for a given presentation 〈S∣R〉 of a group, where the number of generators is equal to the number of relations. We present an algorithm to construct crystallizations of 3-manifolds whose fundamental group has a presentation with two generators and two relations. If the weight of (〈S∣R〉,R) is n, then our algorithm constructs all the n-vertex crystallizations which yield (〈S∣R〉,R). As an application, we have constructed some new crystallizations of 3-manifolds. We have generalized our algorithm for presentations with three generators and a certain class of relations. For m≥3 and m≥n≥k≥2, our generalized algorithm gives a \(2(2m+2n+2k-6+{\delta _{n}^{2}} + {\delta _{k}^{2}})\)-vertex crystallization of the closed connected orientable 3-manifold M〈m,n,k〉 having fundamental group \(\langle x_{1},x_{2},x_{3} \mid {x_{1}^{m}}={x_{2}^{n}}={x_{3}^{k}}=x_{1}x_{2}x_{3} \rangle \). These crystallizations are minimal and unique with respect to the given presentations. If ‘ n=2’ or ‘ k≥3 and m≥4’ then our crystallization of M〈m,n,k〉 is vertex-minimal for all the known cases.