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) \to B~$ is defined, would someone please give me this definition?

Apparently it is "clear" but I fail to see this.

  • 8
    $\begingroup$ $\widetilde{x} \mapsto p(x)$? (Where $\widetilde{x}$ is the class of $x$ in $E/\!\mathrm{Aut}(E)$.) $\endgroup$ Sep 17, 2010 at 13:20
  • $\begingroup$ Thank you, I feel ashamed... $\endgroup$
    – Down
    Sep 23, 2010 at 15:04

2 Answers 2


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.


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


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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