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

I have to prove that the fundamental group of the union of three open convex subsets of $\mathbb{R}^n$ is trivial or $\mathbb{Z}$. I can show that it has only one generator, but I can't prove that if the generator is not null-homotopic it is not nilpotent.

share|cite|improve this question
It looks like you posted the question while still typing it... Where's the rest of the last sentence? – Henry T. Horton Jan 29 '13 at 1:47
There it is. Sorry, I didn´t notice. I´ve edited it. – Frank Jan 29 '13 at 2:05
You can pick a point in each of your given open sets and argue that any path is homotopic to a path which, whenever it intersects one of these sets, includes the distinguished point in that set. Now you've essentially reduced the problem to looking at the fundamental group of a graph on three vertices. If you've already proven that the group is cyclic, this should get you the rest of the way. – Brett Frankel Jan 29 '13 at 2:33
That's the problem. I've proved that the fundamental group of a graph on three vertices is trivial or $\mathbb{Z}$. Now if I suppose it is not trivial (the graph is a triangle homeomorphic to a circle), I only know that the fundamental group of the original space has one generator. I have to check that the homotopy class of the generator in the original space is not nilpotent. How can I check that? – Frank Jan 29 '13 at 2:45

Your Answer


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

Browse other questions tagged or ask your own question.