5

Let $X$ be a subset of $\mathbb R^3$ with its induced topology and let $a\in X$ be a point. Then the fundamental group $\pi_1(X,a)$ seems not to have elements of finite order (except the identity of course). Does anybody know an easy argument why this is the case?

The answer needs to use the fact that the ambient space is 3 dimensional since there are spaces with fundamental group of order two which can be embedded in $\mathbb R^4$.

Thanks for your help!

David White
  • 29,779
Tom
  • 967
  • You are assuming that $X$ is not simply connected, I presume. – Francesco Polizzi Apr 01 '15 at 12:50
  • 3
    Apparently it's an open problem (or at least it was in 2013). – Najib Idrissi Apr 01 '15 at 12:53
  • 1
    @ Francesco Polizzi: I did not assume that X is not simply connected although for simply connected X the statement that it does not contain elements of finite order (other than the identity) is not very interesting. – Tom Apr 01 '15 at 12:59
  • 1
    http://mathoverflow.net/questions/4478/torsion-in-homology-or-fundamental-group-of-subsets-of-euclidean-3-space – Thomas Rot Apr 01 '15 at 12:59
  • 1
    @Najib Idrissi: Thanks for the link, I did not know that it was an open problem. I thought someone told me some years ago that this was a theorem but now I came across this question again and so I wanted to know how one proves it. – Tom Apr 01 '15 at 13:00
  • It may be open in general, but there are certainly cases in which it is a theorem... (An easy example is when $X$ is a submanifold, but this hypothesis can probably be considerably relaxed.) – HJRW Apr 01 '15 at 13:48
  • 2
    If $X \subset \mathbb{R}^3$ is open and connected, then $\pi_1(X)$ is torsion free, see http://math.stackexchange.com/questions/680998/is-there-a-domain-in-mathbbr3-with-finite-non-trivial-pi-1-but-h-1-0 – Francesco Polizzi Apr 01 '15 at 14:05

0 Answers0