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

If one wanted to find all connected covering spaces of a product of two spaces, say $S^1\times RP(3)$, how would you go about it?

I'm thinking finding the fundamental group of $S^1\times RP(3)$, and then we know that to each subgroup of $\pi_1(S^1\times RP(3)$(there is s 1-1 correspondence between coverings of a space $X$ and conjugacy classes of subgroups of $\pi_1(X)$) corresponds a covering space of $S^1\times RP(3)$. Is this correct?

If yes, then how would I go about identifying the corresponding covering spaces? Would I simply try to identify which spaces have these subgroups as their fundamental groups? If I found all these subgroups, would this imply that there cannot be any more connected covering spaces because of this one-to-one correspondence?


share|cite|improve this question
Just a caution, since it's happened before around this time, that it's finals season for grad students (not that I'm assuming anything about abby, I'm just saying...) – Dylan Wilson Nov 29 '12 at 17:13
I'm not a graduate student, and it's not the finals season either...but I understand your concern. I'm not looking for an answer, just to see whether I'm on the right track. – abby Nov 29 '12 at 19:06
Okay- well, start by finding the universal cover, then use the correspondence between quotients of that by nice group actions and covers of the original space. – Dylan Wilson Nov 30 '12 at 4:17
(That is the explicit form of the correspondence you mention between conjugacy classes of subgroups of the fundamental group and covers.) – Dylan Wilson Nov 30 '12 at 4:18

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.