9
$\begingroup$

I got a homework asking me to show the fundamental group of the complement of the Borromean rings (say, $S^3\setminus B$ where $B$ is the Borromean rings) I know there should be three generators, but I had a hard time to find the relations; I know In the case of two unlinked circles, the commutator is 1;

enter image description hereThank you very much for the help!

  • 0
    I remember Hatcher has wrote a algebraic topology, the first chapter of that book has the result..2012-12-05
  • 0
    it says that circle C links with circle A,B in a way as $aba^{-1}b^{-1}$, but I want to show that $[a,[b,c^{-1}]]=1$2012-12-05
  • 1
    I think I got it, using Wirtinger Presentation and get 6 relations, then reduce them to 3 as the form of commutators2012-12-05
  • 0
    I skip the exercise about Wirtinger... Maybe you should write the answer down.2012-12-06
  • 0
    Would you mind sharing your answer?2013-05-21

0 Answers 0