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

Let $p : E \rightarrow B$ be a cover s.t. Aut(E) acts transitively on $p^{-1}(b)$ for some fix $b \in B$. Then $E/Aut(E)$ is homeomorphic to $B$ where $Aut(E) \subset Cov(E,E)$. The problem is that I don't even understand how the map E/Aut(E) -> B is defined, would someone please give me this definition? Apparently it is "clear" but I fail to see this.

share|cite|improve this question
$\widetilde{x} \mapsto p(x)$? (Where $\widetilde{x}$ is the class of $x$ in $E/\!\mathrm{Aut}(E)$.) – a.r. Sep 17 '10 at 13:20
Thank you, I feel ashamed... – Down Sep 23 '10 at 15:04
up vote 4 down vote accepted

Let's remove this question from the list of unanswered questions by up-voting this community wiki answer stating that Agusti Roig's comment above contains the right answer.

share|cite|improve this answer

Let's honor Rasmus' creative handling of the software restrictions by downvoting this self-referential community wiki answer.

share|cite|improve this answer
Funny, for a moment I thought you got this idea from… but apparently that post turned up later. – Rasmus Sep 22 '10 at 17:31

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.