Skip to main content
Post Made Community Wiki by Stefan Kohl
Source Link
Ryan Budney
  • 44.4k
  • 2
  • 139
  • 245

As a demonstration of difficulty, a counter-question: Is this a 3-manifold fundamental group, and if so, which one?

$$\langle a, b | a^2b^{-1}a^{-2}ba^{-1}ba^{-2}b^{-1}a^2b, a^{-1}b^{-1}a^2ba^{-4}ba^2b^{-1}a^{-1}b^{-1}a^2ba^{-2}ba^2b^{-1} \rangle$$