Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

The exterior of the Alexander Horned Sphere has $H_1=0$ but $\pi_1\neq 0$, in fact, $\pi_1$ is infinite. (See Hatcher p.171-172). Is there an example of a domain (connected open set) in $\mathbb{R}^3$ where $\pi_1$ is non-trivial but finite, and $H_1=0$?

(This question was stimulated by the question Example of a domain in R^3, with trivial first homology but nontrivial fundamental group.)

share|cite|improve this question
Are there any subsets of $\mathbb R^3$ with nontrivial finite fundamental group? This may be an open problem. See… – Grumpy Parsnip Feb 18 '14 at 19:36
This is indeed difficult for arbitrary subsets, but for open subsets it follows from one of the theorems in Hempel's book that such domains do not exist. Moreover, each open subset in 3d space has torsion free fundamental group. (Each maximal torsion subgroup splits off as a free factor via a connected sum decomposition.) – studiosus Feb 18 '14 at 20:31
@studiosus: thanks, that answers my question. I accept your comment :-) – Michael Weiss Feb 19 '14 at 22:56
I will write a detailed answer when I have access to Hempel's book. Theorem which I quote, I think, is due to Epstein. – studiosus Feb 20 '14 at 5:25
up vote 6 down vote accepted

Here is a general theorem that does the job:

Theorem. If $\Omega$ is an open connected subset of $R^3$ then $\pi_1(\Omega)$ is torsion-free.

Proof. Suppose not. It is a theorem of D.B.A. Epstein (see theorem 9.8 in the book "3-manifolds" by J.Hempel) that if $M$ is a connected oriented 3-manifold whose fundamental group has nontrivial elements of finite order, then $M$ splits as a connected sum $M=M_1 \# M_2$, where $M_1$ is a compact manifold with $\pi_1(M_1)$ finite and nontrivial. Now, applying this theorem to the domain $\Omega$ we obtain that $S^3$ contains a compact submanifold $N$ with nonempty boundary, such that $\pi_1(N)$ is finite and nontrivial. It follows that the boundary of $N$ is a disjoint union of 2-spheres (see my answer here). However, attaching balls to the spherical boundary components of a manifold of dimension $\ge 3$ does not change its fundamental group. Therefore, $\pi_1(S^3)\cong \pi_1(N)$ is finite and nontrivial. Contradiction. qed

share|cite|improve this answer
@Seirios: Yes, of course: Van Kampen theorem. – studiosus Oct 24 '14 at 21:15
Oh, I see: in fact, because $N \subset S^3$ and $S^3$ is irreducible, the complementary $S^3 \backslash N$ is just a disjoint union of balls whose boundary covers $\partial N$. My question was not relevant, sorry. – Seirios Oct 25 '14 at 7:24

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.